Sciweavers

415 search results - page 4 / 83
» A Case Study Approach to Teaching Component Based Software E...
Sort
View
107
Voted
TPHOL
1998
IEEE
15 years 3 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
120
Voted
STEP
2003
IEEE
15 years 5 months ago
On Analysis of Design Component Contracts: A Case Study
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
118
Voted
CSEE
2001
Springer
15 years 4 months ago
YOOPEEDOO (UPEDU): A Process for Teaching Software Process
Process in software engineering is a growing concern for many software development organizations. The need for well-educated software engineers is bringing new software engineerin...
Pierre N. Robillard, Philippe Kruchten, Patrick d'...
114
Voted
AOSD
2011
ACM
14 years 6 months ago
Measuring the effects of aspect-oriented refactoring on component relationships: two case studies
Aspect-oriented refactoring is a promising technique for improving modularity and reducing complexity of existing software systems through encapsulating crosscutting concerns. As ...
Reishi Yokomori, Harvey P. Siy, Norihiro Yoshida, ...
CBSE
2005
Springer
15 years 1 months ago
Qinna, a Component-Based QoS Architecture
— Component-based software engineering (CBSE) is quickly becoming a mainstream approach to software development. At the same time, there is a massive shift from desktop applicati...
Jean-Charles Tournier, Jean-Philippe Babau, Vincen...