1829 search results - page 57 / 366 » Towards Validation of Requirements Models |
110
click to vote
IPAW
2010
14 years 9 months ago
2010
Abstract. Scientists increasingly rely on workflow management systems to perform large-scale computational scientific experiments. These systems often collect provenance informatio...
103
click to vote
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
109
click to vote
ER
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
ETFA
2006
IEEE
15 years 5 months ago
2006
IEEE
—The International Electro-technical Commission through the 61499 standard establishes the basic infrastructure towards an open market in the control and automation domain. This ...
120
click to vote
APN
1992
Springer
15 years 3 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...