Sciweavers

4476 search results - page 303 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
WIFT
1998
IEEE
153views Hardware» more  WIFT 1998»
15 years 11 months ago
Reasoning with UML Class Diagrams
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
Andy S. Evans
IJRR
2000
107views more  IJRR 2000»
15 years 6 months ago
Dynamics Simulation and Controller Interfacing for Legged Robots
Dynamics simulation can play a critical role in the engineering of robotic control code, and there exist a variety of strategies both for building physical models and for interact...
Jesse A. Reichler, Fred Delcomyn
ECOOP
2003
Springer
15 years 12 months ago
A Nominal Theory of Objects with Dependent Types
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Martin Odersky, Vincent Cremet, Christine Röc...
UML
2001
Springer
15 years 11 months ago
Estimating Software Development Effort Based on Use Cases-Experiences from Industry
Use case models are used in object-oriented analysis for capturing and describing the functional requirements of a system. Several methods for estimating software development effor...
Bente Anda, Hege Dreiem, Dag I. K. Sjøberg,...
ISSTA
2004
ACM
16 years 5 days ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner