Sciweavers

52 search results - page 4 / 11
» icse 2001
Sort
View
ICSE
2001
IEEE-ACM
14 years 3 months ago
Architecture-Oriented Programming Using FRED
Implementing application-specific code conforming to architectural rules and conventions can be tedious. FRED is a tool prototype for architecture-oriented programming that takes ...
Markku Hakala, Juha Hautamäki, Kai Koskimies,...
ICSE
2001
IEEE-ACM
14 years 3 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
ICSE
2001
IEEE-ACM
14 years 3 months ago
Designing Concurrent, Distributed, and Real-Time Applications with UML
Object-oriented concepts are crucial in software design because they address fundamental issues of adaptation and evolution. With the proliferation of object-oriented notations an...
Hassan Gomaa
ICSE
2001
IEEE-ACM
14 years 3 months ago
David L. Parnas Symposium
David L. Parnas is one of the grandmasters of software engineering. His academic research and industrial collaborations have exerted far-reaching influence on software design and ...
Daniel Hoffman, David M. Weiss
ICSE
2001
IEEE-ACM
14 years 3 months ago
Case Study: Extreme Programming in a University Environment
Extreme Programming (XP) is a new and controversial sojiware processfor small teams. A practical training courseat the universityof Karlsruheled to thefollowing observations about...
Matthias M. Müller, Walter F. Tichy