10159 search results - page 636 / 2032 » System Design Validation Using Formal Models |
202
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
211
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
215
click to vote
ANLP
1994
15 years 8 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
165
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
218
click to vote
JIPS
2010
15 years 2 months ago
2010
In order to provide a tailored education for learners within the ubiquitous environment, it is critical to undertake an analysis of the learning activities of learners. For this pu...