2969 search results - page 231 / 594 » The Case for User-Centered CASE Tools |
195
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
170
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
Aspect-Oriented Programming (AOP) has been considered ing abstraction principle to reduce the problem of code tangling and make software structure clean and configurable. This pap...
144
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
178
click to vote
HCW
1998
IEEE
15 years 11 months ago
1998
IEEE
CCS is a resource management system for parallel high-performance computers. At the user level, CCS provides vendor-independent access to parallel systems. At the system administr...
162
click to vote
ISN
1999
Springer
15 years 11 months ago
1999
Springer
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...