1669 search results - page 24 / 334 » Modeling ODP Computational Specifications Using UML |
SOSYM
2010
13 years 8 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
TOOLS
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
In the general area of high-performance computing, object-oriented methods have gone largely unnoticed. In contrast, the Computational Neighborhood (CN), a framework for parallel ...
JOT
2010
13 years 4 months ago
2010
Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems...
ISORC
2006
IEEE
14 years 3 months ago
2006
IEEE
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...