1121 search results - page 15 / 225 » Building Formal Requirements Models for Reliable Software |
SAC
2003
ACM
15 years 2 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
WETICE
1998
IEEE
15 years 1 months ago
1998
IEEE
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...
SERA
2010
Springer
14 years 7 months ago
2010
Springer
Abstract—With the growing complexity of software applications, there is an increasing demand for solutions to distribute workload into server pools. Grid Computing provides power...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...