2451 search results - page 446 / 491 » The Octagon Abstract Domain |
110
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
96
Voted
EWSA
2006
Springer
15 years 4 months ago
2006
Springer
An architectural aspect is a concern that cuts across architecture ty units and cannot be effectively modularized using the given abstractions of conventional Architecture Descript...
101
click to vote
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
One of the characteristicsof object-oriented software is the complex dependency that may exist between classes due to inheritance, association and aggregation relationships. Hence...
107
click to vote
DAGSTUHL
2007
15 years 2 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
109
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...