188 search results - page 29 / 38 » java 2001 |
GI
2001
Springer
13 years 12 months ago
2001
Springer
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
IEAAIE
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
UML
2001
Springer
13 years 12 months ago
2001
Springer
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
MODELLIERUNG
2001
13 years 8 months ago
2001
Abstract: Models are important artefacts that support human understanding and communication. Often software development involves specialists from a variety of fields, e.g. mathemat...