Sciweavers

16859 search results - page 104 / 3372
» Generative software development
Sort
View
ICECCS
2002
IEEE
161views Hardware» more  ICECCS 2002»
15 years 6 months ago
Interclass Testing of Object Oriented Software
The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...
Vincenzo Martena, Alessandro Orso, Mauro Pezz&egra...
ECOOPW
2004
Springer
15 years 7 months ago
Coordination and Adaptation Techniques for Software Entities
Abstract. Coordination and Adaptation are two key issues when developing complex distributed systems. Coordination focuses on the interaction among computational entities. Adaptati...
Carlos Canal, Juan Manuel Murillo, Pascal Poizat
IEEEICCI
2006
IEEE
15 years 7 months ago
Separating Designs from Implementations: Role-Based Software Development
This paper explores the nature of software and software development, discusses the importance of specialization in software development, and infers that separation of design and i...
Haibin Zhu
ICFEM
1997
Springer
15 years 5 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
SIGSOFT
2007
ACM
16 years 2 months ago
A specification-based approach to testing software product lines
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, ...