2062 search results - page 157 / 413 » A Concern-Oriented Requirements Engineering Model |
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
ISPW
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, ebusiness, health care, environmental control, military applications, and homeland ...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
Security plays an important role in the development of multiagent systems. However, a careful analysis of software development processes shows that the definition of security requ...
ETFA
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...