1005 search results - page 39 / 201 » Formal Software Development in MAYA |
130
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
129
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
157
click to vote
IESA
2007
15 years 6 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
122
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
132
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...