803 search results - page 7 / 161 » Building Formal Models for Software Requirements |
109
click to vote
WOSP
2005
ACM
15 years 5 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
99
Voted
RE
2008
Springer
14 years 11 months ago
2008
Springer
We introduce an extractive approach to building a product line's requirements assets. We define the functional requirements profiles (FRPs) according to the linguistic charac...
97
Voted
ICST
2008
IEEE
15 years 6 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
ECBS
2006
IEEE
15 years 5 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
79
Voted
ICFEM
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...