4418 search results - page 73 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
117
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Requirements volatility is an issue in software development life cycle which often originated from our incomplete knowledge about the domain of interest. In this paper, we propose...
124
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
130
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Requirements Driven Agent Collaboration (RDAC) is a mechanism where the self-interested service agents actively and autonomously search for the required services submitted by the ...
108
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...
120
click to vote
CSEE
2000
Springer
15 years 8 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...