222 search results - page 38 / 45 » UML4SPM: An Executable Software Process Modeling Language Pr... |
CASES
2007
ACM
13 years 11 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
FASE
2004
Springer
13 years 11 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
EDBTW
2006
Springer
13 years 11 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
ECBS
2007
IEEE
14 years 2 months ago
2007
IEEE
The ever growing size and complexity of both technical and business systems requires efficient software engineering approaches to keep development cost under control while still ...