1005 search results - page 173 / 201 » Formal Software Development in MAYA |
MEMOCODE
2006
IEEE
15 years 5 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
115
click to vote
SFM
2005
Springer
15 years 5 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
SEKE
2004
Springer
15 years 5 months ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
109
click to vote
ER
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
89
Voted
SERP
2003
15 years 1 months ago
2003
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...