2832 search results - page 455 / 567 » Flexible Modelling for Requirements Engineering |
163
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
177
click to vote
DFG
2003
Springer
15 years 11 months ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
163
click to vote
PG
2000
IEEE
15 years 10 months ago
2000
IEEE
Recent years have witnessed dramatic growth in the use of subdivision schemes for graphical modeling and animation, especially for the representation of smooth, oftentimes complex...
157
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
159
click to vote
AIPS
2007
15 years 8 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...