On requirements verification for model refinements Conferences

authors

• Ghezzi, Carlo
• Menghi, Claudio
• Sharifloo, Amir Molzam
• Spoletini, Paola

status

• published 

publication date

• July 2013

published in

• Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC  Journal

presented at event

• 2013 IEEE 21st International Requirements Engineering Conference (RE)  Conference

keywords

• ASSUME
• Agile Development
• CHECKING
• Computer Science
• Computer Science, Software Engineering
• Formal Verification
• GUARANTEE
• Incremental Verification
• Model Checking
• SOFTWARE
• STATECHARTS
• Science & Technology
• Software Modeling
• Statecharts
• Technology

Digital Object Identifier (DOI)

• 10.1109/re.2013.6636706

start page

• 62

end page

• 71