996 search results - page 2 / 200 » A Compositional Model for Software Reuse |
SAC
2000
ACM
13 years 11 months ago
2000
ACM
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...
FM
2003
Springer
14 years 19 days ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
CBSE
2007
Springer
14 years 1 months ago
2007
Springer
Data encapsulation is a familiar property in object-oriented programming. It is not only useful for modelling things in the real world, but it also facilitates reuse by enabling th...
ICDE
2006
IEEE
14 years 1 months ago
2006
IEEE
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
WEBENG
2001
Springer
13 years 11 months ago
2001
Springer
From a software engineering perspective the World Wide Web is a new application platform. The implementation model that the Web is based on makes it difficult to apply classic proc...