Sciweavers

4349 search results - page 160 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
AINA
2009
IEEE
15 years 5 months ago
Business Compliance Governance in Service-Oriented Architectures
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...
Florian Daniel, Fabio Casati, Vincenzo D'Andrea, E...
ISORC
1999
IEEE
15 years 2 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
ESEM
2007
ACM
15 years 2 months ago
An Approach to Global Sensitivity Analysis: FAST on COCOMO
There are various models in software engineering that are used to predict quality-related aspects of the process or artefacts. The use of these models involves elaborate data coll...
Stefan Wagner
103
Voted
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
14 years 8 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
SIGMOD
2003
ACM
129views Database» more  SIGMOD 2003»
15 years 10 months ago
Efficient Processing of Joins on Set-valued Attributes
Object-oriented and object-relational DBMS support setvalued attributes, which are a natural and concise way to model complex information. However, there has been limited research...
Nikos Mamoulis