1005 search results - page 96 / 201 » Formal Software Development in MAYA |
126
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
144
click to vote
IUI
1997
ACM
15 years 8 months ago
1997
ACM
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...
130
click to vote
FORTEST
2008
15 years 6 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
152
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...
173
click to vote
DEXA
1997
Springer
15 years 8 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...