1856 search results - page 240 / 372 » Formal Dialectic Specification |
135
Voted
ICECCS
2000
IEEE
15 years 9 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
156
click to vote
CAISE
2000
Springer
15 years 9 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...
131
click to vote
DIAGRAMS
2000
Springer
15 years 9 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 ...
156
click to vote
HASE
1999
IEEE
15 years 8 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...
129
click to vote
SPIN
1999
Springer
15 years 8 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...