306 search results - page 3 / 62 » From Scenarios to Timed Automata: Building Specifications fr... |
ASE
2008
14 years 11 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
101
Voted
RE
2004
Springer
15 years 4 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
95
Voted
ASM
2010
ASM
15 years 2 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
FBT
1998
15 years 7 days ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
101
Voted
WWW
2009
ACM
15 years 5 months ago
2009
ACM
This paper proposes an effective approach to provide relevant search terms for conceptual Web search. ‘Semantic Term Suggestion’ function has been included so that users can f...