1676 search results - page 296 / 336 » Formal System Development with KIV |
128
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
139
click to vote
DSVIS
2008
Springer
15 years 5 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
125
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
151
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
126
click to vote
FUIN
2008
15 years 4 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....