22698 search results - page 4121 / 4540 » Modeling in Software Engineering |
181
click to vote
LOPSTR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
162
click to vote
SPIN
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
161
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
158
click to vote
DSN
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes the OFTT (OLE Fault Tolerance Technology), a fault tolerance middleware toolkit running on the Microsoft Windows NT operating system that provides required fa...
150
click to vote
ASPDAC
2000
ACM
15 years 10 months ago
2000
ACM
- This paper presents software synthesis techniques to deal with non-primitive data type from graphical dataflow programs based on the synchronous dataflow (SDF) model. Non-primiti...