1005 search results - page 22 / 201 » Formal Software Development in MAYA |
146
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
135
click to vote
FMOODS
2007
15 years 5 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
135
click to vote
ASWEC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
144
click to vote
TFM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
164
click to vote
ECEASST
2006
15 years 4 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...