9974 search results - page 1374 / 1995 » Software Interconnection Models |
164
click to vote
WSC
2001
15 years 8 months ago
2001
Emulation is a very powerful tool for testing and debugging control code/logic in an office environment rather than on the plant floor. Through the use of emulation, the actual co...
177
click to vote
FORTE
1996
15 years 8 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
188
click to vote
ECEASST
2008
15 years 7 months ago
2008
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
182
click to vote
ASE
2006
15 years 7 months ago
2006
This paper presents CIRCE, an environment for the analysis of natural language requirements. CIRCE is first presented in terms of its architecture, based on a transformational para...
154
click to vote
SIGCSE
2008
ACM
15 years 7 months ago
2008
ACM
We describe a new system for building Tablet PC-based classroom software. The system, called SLICE, is built for extensibility, using a unique "explicit state" model. Ap...