Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Requirements visualization techniques: a comparative analysis
ACS'08 Proceedings of the 8th conference on Applied computer scince
Design patterns for developing dynamically adaptive systems
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
DaProS: a data property specification tool to capture scientific sensor data properties
ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
A visualization framework for the modeling and formal analysis of high assurance systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Automated analysis of natural language properties for UML models
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
i2MAP: an incremental and iterative modeling and analysis process
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
Formal specification languages are often perceived as difficult to use by practitioners, and are therefore rarely used in industrial software development practices. Numerous researchers have developed specification pattern systems to facilitate the construction of formal specifications of system properties. Feedback indicates that these patterns are considered helpful, but many practitioners prefer capturing properties using informal notations, such as natural language, instead of formal specification languages. This paper describes a project that addresses this technology gap. First, we introduce a stepwise process for deriving and instantiating system properties in terms of their natural language representations. The key components of this process are structured natural language grammars and specification pattern systems. Second, we describe SPIDER, a prototype implementation of a tool suite supporting this speci- fication process. We illustrate the use of our approach with a description of a stepwise construction process of property specifications of a real-world automotive embedded system using SPIDER.