Sciweavers

858 search results - page 32 / 172
» A Vision for International Standardization in Software and S...
Sort
View
EUROMICRO
2005
IEEE
14 years 2 months ago
Process Patterns for Software Systems In-house Integration and Merge Experiences from Industry
When an organization faces new types of collaboration, for example after a company merger, there is a need to integrate the existing software. Two main process challenges are how ...
Rikard Land, Ivica Crnkovic, Stig Larsson
IWPC
1998
IEEE
14 years 22 days ago
DIME: A Direct Manipulation Environment for Evolutionary Development of Software
This paper presents an overview of the DIME environment (DIrect Manipulation Environment) being developed by the author. The paper presents the DIME vision, its catalogue of evolu...
Arun Lakhotia
EMSOFT
2011
Springer
12 years 8 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
KRDB
2003
184views Database» more  KRDB 2003»
13 years 9 months ago
Some Practical Issues in Building a Hybrid Deductive Geographic Information System with a DL Component
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
Michael Wessel
EUROMICRO
2000
IEEE
14 years 27 days ago
Behavior-Preserving Transformations for Design-for-Test
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...
Jeroen Voeten, Harald P. E. Vranken