3771 search results - page 645 / 755 » Subobject Transformation Systems |
120
click to vote
COMPSAC
1997
IEEE
15 years 7 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
110
click to vote
ICCAD
1997
IEEE
15 years 7 months ago
1997
IEEE
An abundance of research e orts in low power logic synthesis have so far been focused on and or or nand nor based logic. A typical approach is to rst generate an initial multi-lev...
111
click to vote
ICSM
1997
IEEE
15 years 7 months ago
1997
IEEE
Conventional software engineering tends to focus on a small part of the software life cycle: the design and implementation of a product. The bulk of the lifetime cost is in the ma...
149
click to vote
UML
1998
Springer
15 years 7 months ago
1998
Springer
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
144
click to vote
UML
1998
Springer
15 years 7 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...