3765 search results - page 45 / 753 » Formal Methods for Systems Engineering Behavior Models |
COOPIS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
FM
2008
Springer
13 years 10 months ago
2008
Springer
Modal
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
FTRTFT
1998
Springer
14 years 27 days ago
1998
Springer
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
