803 search results - page 8 / 161 » Building Formal Models for Software Requirements |
152
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
154
click to vote
IFM
1999
Springer
15 years 10 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
149
click to vote
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
151
click to vote
SAC
2003
ACM
15 years 11 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...
158
click to vote
WETICE
1998
IEEE
15 years 10 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...