Sciweavers

1863 search results - page 157 / 373
» Unifying Theories of Objects
Sort
View
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
13 years 11 months ago
Swing-up control for n-link planar robot with single passive joint using the notion of virtual composite links
In this paper, we concern a swing-up control problem for an n-link revolute planar robot with any one of the joint being a passive joint. The goal of this study is to design and an...
Xin Xin, Jin-Hua She, Taiga Yamasaki
SE
2008
13 years 10 months ago
Integrating Software Lifecycle Models into a uniform Software Engineering Model
: Software lifecycle models differ in their artifacts as well as in the dependencies between the included tasks and activities. Therefore support-tools, which support these lifecyc...
Jonas Helming
IASTEDSE
2004
13 years 10 months ago
Mapping UML statecharts to java code
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
Iftikhar Azim Niaz, Jiro Tanaka
ISTA
2004
13 years 10 months ago
A Conceptual Modeling Technique Based on Semantically Complete Model, Its Applications
: The article proposes a conceptual modeling technique based on Semantically Complete model, the main property of which is that relations carry complete information about interconn...
Vladimir Ovchinnikov
ROOM
2000
13 years 10 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...