Sciweavers

1684 search results - page 29 / 337
» Improving the System Software Engineering Interface for Comp...
Sort
View
ICECCS
2007
IEEE
95views Hardware» more  ICECCS 2007»
14 years 2 months ago
A Formal Contract Language for Plugin-based Software Engineering
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
Jens Dietrich, John G. Hosking, Jonathan Giles
COMPSAC
2006
IEEE
13 years 11 months ago
Engineering Reconfigurable Product Families - Architecting the Variability Infrastructure of a Product Family On-Chip
The software product family paradigm is becoming increasingly relevant in embedded system development. Embedded system development with a software-intensive character is typically...
Michel Jaring
APAQS
2000
IEEE
14 years 3 days ago
A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
Claudia Pons, Maximo Prieto, Luis Olsina
ENTCS
2006
90views more  ENTCS 2006»
13 years 7 months ago
A Framework for Engineering Interactions in Java-based Component Systems
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mi...
ECBS
2002
IEEE
118views Hardware» more  ECBS 2002»
14 years 19 days ago
On the Relation between Design Contracts and Errors: A Software Development Strategy
When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors can...
Eivind J. Nordby, Martin Blom, Anna Brunstrom