Sciweavers

3792 search results - page 433 / 759
» Techniques for Trusted Software Engineering
Sort
View
OHS
2001
Springer
15 years 11 months ago
Using Structural Computing to Support Information Integration
Software engineers face a difficult task in managing the many different types of relationships that exist between the documents of a software development project. We refer to this...
Kenneth M. Anderson, Susanne A. Sherba
POPL
2011
ACM
14 years 9 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
SEMWEB
2009
Springer
16 years 1 months ago
Ontologies for User Interface Integration
There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...
Heiko Paulheim
VAMOS
2007
Springer
16 years 28 days ago
On the Structure of Problem Variability: From Feature Diagrams to Problem Frames
Requirements for product families are expressed in terms of commonality and variability. This distinction allows early identification of an appropriate software architecture and ...
Andreas Classen, Patrick Heymans, Robin C. Laney, ...
VAMOS
2007
Springer
16 years 28 days ago
Challenges in the Application of Feature Modelling in Fixed Line Telecommunications
The global telephone system is a complex transmission network, the features of which are defined to a very high level by ITU-T standards. It is therefore a prime candidate at whi...
Charles Gillan, Peter Kilpatrick, Ivor T. A. Spenc...