Sciweavers

8083 search results - page 386 / 1617
» A Formalization of Software Architecture
Sort
View
COMPSAC
2002
IEEE
15 years 11 months ago
Tool Support for Distributed Inspection
Software inspection is one of the best practices for detecting and removing defects early in the software development process. We present a tool to support geographically distribu...
Filippo Lanubile, Teresa Mallardo
196
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
From requirements to partial behavior models: an iterative approach to incremental specification refinement
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
Ivo Krka
ECMDAFA
2005
Springer
87views Hardware» more  ECMDAFA 2005»
16 years 10 days ago
On Relationships Between Query Models
Queries on software artifacts play an important role in novel software development approaches, such as Aspect-Oriented Software Development and OMG's Model Driven Architecture...
Dominik Stein, Stefan Hanenberg, Rainer Unland
150
Voted
ICSE
2010
IEEE-ACM
15 years 11 months ago
Dynamic service quality and resource negotiation for high-availability service-oriented systems
The principle goal of our research project is to improve the availability of service-oriented systems. This is especially important in systems that cross organizational boundaries...
Nicholas R. May
ICSE
2008
IEEE-ACM
16 years 6 months ago
Performance modeling for service oriented architectures
We present a tool for performance modeling of Service Oriented Architectures (SOAs). As mission-critical use of whole-ofgovernment SOAs become pervasive, the capability to model a...
Paul Brebner