1709 search results - page 112 / 342 » Precise Modeling of Design Patterns |
107
click to vote
ACTA
2007
15 years 26 days ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
131
Voted
WICSA
2004
15 years 2 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
122
Voted
OWLED
2008
15 years 2 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
ENTCS
2007
15 years 20 days ago
2007
Software coordination and adaptation is intimately related to software (modular) pieces and access points. These pieces (components or services) may be complex, dissimilar (various...
106
Voted
ECEASST
2010
14 years 10 months ago
2010
Abstract. The precise specification of software models is a major concern in model-driven design of object-oriented software. In this paper, we investigate how program graphs, a la...