1435 search results - page 160 / 287 » CASE Support and Model-Based Development |
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
EDOC
2009
IEEE
14 years 1 months ago
2009
IEEE
Methods for enterprise architecture, such as TOGAF, acknowledge the importance of requirements engineering in the development of enterprise architectures. Modelling support is nee...
WSC
2007
14 years 16 days ago
2007
This paper presents the case that education in the 21st Century can only measure up to national needs if technologies developed in the simulation community, further enhanced by th...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
FAC
2000
13 years 10 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...