2588 search results - page 146 / 518 » Engineering Systems Which Generate Emergent Functionalities |
163
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
163
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
161
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Quantum dot Cellular Automata (QCA) is one of the promising technologies for nano scale implementation. The operation of QCA systems is based on a new paradigm generally referred ...
119
click to vote
GCB
2005
Springer
15 years 10 months ago
2005
Springer
Motivation: With the increasing availability of protein structures, the generation of biologically meaningful 3D patterns from the simultaneous alignment of several protein struct...
161
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...