Sciweavers

4048 search results - page 612 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
ASWSD
2004
Springer
15 years 9 months ago
Validation of Component and Service Federations in Automotive Software Applications
Abstract The automotive domain is one of the most promising areas for component and service technologies in the near future. Vehicles are increasingly becoming integrated systems w...
Luciano Baresi, Carlo Ghezzi
146
Voted
APSEC
2002
IEEE
15 years 9 months ago
Quality Driven Transformation Compositions for Object Oriented Migration
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
Ying Zou, Kostas Kontogiannis
WETICE
1998
IEEE
15 years 8 months ago
Authorization and Attribute Certificates for Widely Distributed Access Control
We describe a system whose purpose is to explore the use of certificates for the distributed management of access rights for resources that have multiple, independent, and geograp...
William E. Johnston, Srilekha Mudumbai, Mary R. Th...
APSEC
2001
IEEE
15 years 7 months ago
Formal Specification of Mixed Components with Korrigan
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
Christine Choppy, Pascal Poizat, Jean-Claude Royer
ICSE
2000
IEEE-ACM
15 years 7 months ago
Testing: a roadmap
Testing is an important process that is performed to support quality assurance. Testing activities support quality assurance by gathering information about the nature of the softw...
Mary Jean Harrold