Sciweavers

2339 search results - page 230 / 468
» Software processes for the development of electronic commerc...
Sort
View
SCOPES
2005
Springer
15 years 12 months ago
Software Synthesis from the Dataflow Interchange Format
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
Chia-Jui Hsu, Shuvra S. Bhattacharyya
ADAEUROPE
2007
Springer
16 years 20 days ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
ECBS
2007
IEEE
155views Hardware» more  ECBS 2007»
15 years 10 months ago
Evaluating the Quality of Models Extracted from Embedded Real-Time Software
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
Joel Huselius, Johan Kraft, Hans Hansson, Sasikuma...
AVI
2000
15 years 7 months ago
A Visual Tool for Querying Geographic Databases
To support users in querying geographic databases we have developed a system that lets people sketch what they are looking for. It closes the gap between user and information syst...
Andreas D. Blaser, Max J. Egenhofer
ICSEA
2008
IEEE
16 years 27 days ago
A Component Model Family for Vehicular Embedded Systems
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
Tomás Bures, Jan Carlson, Séverine S...