Sciweavers

4799 search results - page 9 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
ESEC
1999
Springer
13 years 11 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
ICSE
2009
IEEE-ACM
14 years 2 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
14 years 1 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
13 years 12 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...