3799 search results - page 12 / 760 » An Engineering Approach to Formal Methods |
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
COOPIS
2002
IEEE
14 years 19 days 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...
WCRE
1997
IEEE
13 years 11 months ago
1997
IEEE
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...
ER
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Methodologies are one of the most significant key factors to the success of project development. Since there is no single methodology that can be uniquely pointed as &quo...
ZUM
1997
Springer
13 years 11 months ago
1997
Springer