1823 search results - page 233 / 365 » Formal specification: a roadmap |
CAISE
2000
Springer
14 years 1 months ago
2000
Springer
Process know-how is instrumental to govern engineering processes in a network of engineering departments as well as migrate changes of processes due to emerging technological or ot...
DIAGRAMS
2000
Springer
14 years 1 months ago
2000
Springer
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...
HASE
1999
IEEE
14 years 1 months ago
1999
IEEE
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
SPIN
1999
Springer
14 years 1 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...