1988 search results - page 7 / 398 » Engineering formal metatheory |
FM
2001
Springer
13 years 12 months ago
2001
Springer
ICEIS
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper presents a Model-Based graphical editor for supporting the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling...
FM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
SIAMDM
2011
12 years 10 months ago
2011
APSEC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...