54 search results - page 1 / 11 » Integrating a Program Design Calculus and a Subset of UML |
CJ
1999
13 years 4 months ago
1999
ICSE
2000
IEEE-ACM
13 years 8 months ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
BMCBI
2007
13 years 5 months ago
2007
Background: Identifying relevant research in an ever-growing body of published literature is becoming increasingly difficult. Establishing domain-specific knowledge bases may be a...
FASE
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
EDUTAINMENT
2007
Springer
13 years 11 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...