Sciweavers

415 search results - page 4 / 83
» A Case Study Approach to Teaching Component Based Software E...
Sort
View
TPHOL
1998
IEEE
13 years 11 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...
STEP
2003
IEEE
14 years 21 days 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
CSEE
2001
Springer
13 years 12 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'...
AOSD
2011
ACM
13 years 2 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
13 years 9 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...