Sciweavers

1988 search results - page 24 / 398
» Engineering formal metatheory
Sort
View
ICFEM
2007
Springer
13 years 11 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
ASWEC
2004
IEEE
13 years 11 months ago
Combining Agent-Oriented Conceptual Modelling with Formal Methods
Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishn...
AMAST
1991
Springer
13 years 11 months ago
A Formal Approach to Software Testing
Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
AMAI
2011
Springer
12 years 7 months ago
Similarity measures in formal concept analysis
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
Faris Alqadah, Raj Bhatnagar