3514 search results - page 219 / 703 » Evolving Specification Engineering |
106
Voted
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
151
click to vote
CBSE
2008
Springer
15 years 5 months ago
2008
Springer
Component-based software engineering proposes building complex applications from COTS (Commercial Off-The-Shelf) organized into component markets. Therefore, the main development e...
144
click to vote
MM
2003
ACM
15 years 8 months ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...
119
click to vote
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
We challenge the widespread assumption that an embedded system’s functionality can be captured in a single specification and then partitioned among software and custom hardware ...
124
click to vote
APN
2000
Springer
15 years 7 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...