Sciweavers

1779 search results - page 149 / 356
» Requirements Engineering and Agile Software Development
Sort
View
CSEE
2000
Springer
14 years 1 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
CBSE
2005
Springer
14 years 2 months ago
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition
State-of-the-art middleware for component-based distributed applications requires openness to support a broad and varying range of services. It also requires powerful and maintaina...
Bert Lagaisse, Wouter Joosen
ICSE
2008
IEEE-ACM
14 years 9 months ago
The international workshop on software architectures and mobility (SAM 2008)
E-businesses are increasingly facing the need of porting the provision of their e-services to mobile customers. Evolving requirements, such as reliability, security, scalability, ...
Licia Capra, Rami Bahsoon, Wolfgang Emmerich, Moha...
KBSE
2005
IEEE
14 years 2 months ago
Formal support for merging and negotiation
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
Shiva Nejati
ATAL
2008
Springer
13 years 11 months ago
LS/ABPM - an agent-powered suite for goal-oriented autonomic BPM
In this paper we shortly describe the Living Systems Autonomic Business Process Management (LS/ABPM) software product. LS/ABPM is an integrated environment, based on J2EE, Eclipse...
Giovanni Rimassa, Martin E. Kernland, Roberto Ghiz...