Sciweavers

757 search results - page 70 / 152
» Software Maintainability Improvement: Integrating Standards ...
Sort
View
SIGSOFT
2008
ACM
16 years 7 months ago
Alchemy: transmuting base alloy specifications into implementations
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dou...
ICSE
2007
IEEE-ACM
16 years 6 months ago
Mismar: A New Approach to Developer Documentation
Successful open source projects foster collaboration and innovation while benefiting from a faster pace of development, but are often plagued by poor developer's documentatio...
Barthélémy Dagenais, Harold Ossher
UML
1999
Springer
15 years 10 months ago
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...
Holger Giese, Jörg Graf, Guido Wirtz
MKWI
2008
171views Business» more  MKWI 2008»
15 years 7 months ago
Model-Driven Process Development Incorporating Human Tasks in Service-Oriented Grid Environments
: Grid computing infrastructures and service-oriented architectures commonly rely on web services as their implementation technology. This technology allows complex workflows to be...
Julian Reichwald, Tim Dörnemann, Thomas Barth...
CODES
2008
IEEE
16 years 24 days ago
You can catch more bugs with transaction level honey
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
Miron Abramovici, Kees Goossens, Bart Vermeulen, J...