Sciweavers

11462 search results - page 124 / 2293
» Developing Application-Centric Methods
Sort
View
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 8 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
GREC
2007
Springer
15 years 7 months ago
Developing Domain-Specific Gesture Recognizers for Smart Diagram Environments
Computer understanding of visual languages in pen-based environments requires a combination of lexical analysis in which the basic tokens are recognized from hand-drawn gestures an...
Adrian C. Bickerstaffe, Aidan Lane, Bernd Meyer, K...
JSS
2002
90views more  JSS 2002»
15 years 2 months ago
Producing reliable software: an experiment
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
Carol Smidts, Xin Huang, James C. Widmaier
DIDACTICA
2000
70views more  DIDACTICA 2000»
15 years 3 months ago
Visualisierung und Animation der semantischen Analyse von Programmen
In computer science methods to aid learning are very important, because abstract models are used frequently. For this conventional teaching methods do not suffice. We have develope...
Andreas Kerren
IJAR
2002
93views more  IJAR 2002»
15 years 3 months ago
Troubleshooting using probabilistic networks and value of information
We develop a decision-theoretic method that yields approximate, low cost troubleshooting plans by making more relevant observations and devoting more time to generate a plan. The ...
Korhan Gökçay, Taner Bilgiç