142
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it's support for building interactive systems is still acknowledged ...
120
click to vote
CSL
1995
Springer
15 years 7 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
131
click to vote
HPCN
1997
Springer
15 years 7 months ago
1997
Springer
This paper describes a distributed algorithm for Boolean function manipulation. The algorithm is based on Binary Decision Diagrams (BDDs), which are one of the most commonly used ...
155
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
129
Voted
UML
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...