3414 search results - page 501 / 683 » System Support for Object Groups |
149
Voted
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
144
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
Designing architectures requires the balancing of multiple system quality objectives. In this paper, we present techniques that support the exploration of the quality properties of...
150
click to vote
WADT
1998
Springer
15 years 8 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
135
Voted
EJIS
2007
15 years 5 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
152
click to vote
TOMS
1998
15 years 4 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...