2578 search results - page 377 / 516 » A Family-Oriented Software Development Process for Engine Co... |
118
Voted
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
136
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
As Service Centric (SC) Systems are being increasingly adopted, new challenges and possibilities emerge. Business processes are now able to execute seamlessly across organizations...
107
click to vote
RE
2007
Springer
15 years 9 months ago
2007
Springer
Scenarios are widely and successfully used to discover requirements for software-intensive systems. Recent advances in mobile computing technologies mean that mobile tools can sup...
120
Voted
ASWEC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
105
click to vote
RE
2004
Springer
15 years 8 months ago
2004
Springer
Tools for managing systems requirements help keeping specifications consistent, up-to-date and accessible. Since the requirements for complex systems are themselves complex inform...