Sciweavers

4799 search results - page 9 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
ESEC
1999
Springer
15 years 1 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
ICSE
2009
IEEE-ACM
15 years 4 months ago
Footprinter: Round-trip engineering via scenario and state based models
In model-driven software development, while scenariobased models are closer to distributed system requirements, state-based models are suitable for code generation. Our tool ‘Fo...
Ankit Goel, Bikram Sengupta, Abhik Roychoudhury
MOMPES
2007
IEEE
15 years 4 months ago
Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product Lines
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
Alexandre Bragança, Ricardo Jorge Machado
AOSE
2001
Springer
15 years 2 months ago
Modeling Early Requirements in Tropos: A Transformation Based Approach
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Faus...