Sciweavers

3763 search results - page 381 / 753
» Component-Based Software Engineering Processes
Sort
View
ICSE
2009
IEEE-ACM
16 years 1 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
TASE
2007
IEEE
16 years 1 months ago
Commutability of Design Pattern Instantiation and Integration
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
Jing Dong, Tu Peng, Zongyan Qiu
IWSM
2007
Springer
16 years 27 days ago
Non-Functional Requirements Size Measurement Method (NFSM) with COSMIC-FFP
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...
Mohamad Kassab, Olga Ormandjieva, Maya Daneva, Ala...
KBSE
2006
IEEE
16 years 23 days ago
Integrating and Scheduling an Open Set of Static Analyses
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If mu...
Michael Eichberg, Mira Mezini, Sven Kloppenburg, K...
XPU
2004
Springer
16 years 2 days ago
When XP Met Outsourcing
Outsourcing is common for software development, and is the context for many projects using agile development processes. This paper presents two case studies concentrating on the cu...
Angela Martin, Robert Biddle, James Noble