Sciweavers

1988 search results - page 24 / 398
» Engineering formal metatheory
Sort
View
68
Voted
ICFEM
2007
Springer
15 years 1 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
ASWEC
2004
IEEE
15 years 1 months ago
Combining Agent-Oriented Conceptual Modelling with Formal Methods
Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishn...
AMAST
1991
Springer
15 years 1 months ago
A Formal Approach to Software Testing
Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
AMAI
2011
Springer
13 years 9 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