134 search results - page 11 / 27 » An International Survey of Industrial Applications of Formal... |
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
101
click to vote
PROFES
2004
Springer
15 years 3 months ago
2004
Springer
In this paper a new Experimental and Explorative Research (EER) research strategy is proposed. It combines experimental software engineering with exploratory research of new techno...
ACSD
2009
IEEE
15 years 2 months ago
2009
IEEE
The application of synthesis of Petri nets from languages for practical problems has recently attracted increasing attention. However, the classical synthesis problems are often n...
FOIKS
2004
Springer
15 years 3 months ago
2004
Springer
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052 November 2003 This is an extended abstract of an invited talk at ...
130
click to vote
ISEMANTICS
2010
14 years 4 months ago
2010
With the advent of Web 2.0 and the emergence of improved technologies to enhance UI, the importance of user experience and intuitiveness of Web interfaces led to the growth and su...