Sciweavers

7202 search results - page 324 / 1441
» Software System Engineering: A Tutorial
Sort
View
ICFEM
1997
Springer
15 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
COMPSAC
2009
IEEE
15 years 11 months ago
AlertMe: A Semantics-Based Context-Aware Notification System
Asterios Leonidis, George Baryannis, Xenofon Fafou...
IWPC
2008
IEEE
16 years 1 months ago
Identifying Architectural Change Patterns in Object-Oriented Systems
As an object-oriented system evolves, its architecture tends to drift away from the original design. Knowledge of how the system has changed at coarse-grained levels is key to und...
Xinyi Dong, Michael W. Godfrey
CSEE
2009
Springer
16 years 1 months ago
A Community of Learners Approach to Software Architecture Education
The wicked nature of software architecture calls for educational methodologies that deviate from the traditional active lecturer-passive student relation. In this paper we present...
Remco C. de Boer, Rik Farenhorst, Hans van Vliet
COMPSAC
2006
IEEE
16 years 23 days ago
Testability of Software in Service-Oriented Architecture
Service-Oriented Architecture (SOA) is a system architecture in which a collection of loosely coupled services communicate with each other using standard interfaces and message-ex...
Wei-Tek Tsai, Jerry Gao, Xiao Wei, Yinong Chen