Sciweavers

3819 search results - page 174 / 764
» An Outsourcing Model of Software Development
Sort
View
ASWEC
2007
IEEE
15 years 4 months ago
A Formal Model of Service-Oriented Design Structure
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
Mikhail Perepletchikov, Caspar Ryan, Keith Frampto...
ICSE
2007
IEEE-ACM
15 years 10 months ago
Variability Management in Software Product Line Engineering
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
Andreas Metzger, Klaus Pohl
108
Voted
WOSP
2004
ACM
15 years 3 months ago
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
Juan Pablo López-Grao, José Mersegue...
114
Voted
GI
2004
Springer
15 years 3 months ago
Integrating an Agile Process in a Model Driven Architecture
The model driven development is an interested area among software engineers as well as the agile development. In fact, combining model driven and agile practices is an interesting ...
Paloma Cáceres, Francisco Díaz, Espe...
WETICE
2005
IEEE
15 years 3 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop