875 search results - page 23 / 175 » Specification Modules for Methodical System Development |
AIED
2005
Springer
15 years 3 months ago
2005
Springer
We have developed a method to identify when a student essay is off-topic, i.e. the essay does not respond to the test question topic. This task is motivated by a real-world problem...
SIGSOFT
1996
ACM
15 years 1 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
In this multi-university collaborative research, we will develop a framework for the dynamic data-driven fault diagnosis of wind turbines which aims at making the wind energy a com...
ECIS
2004
14 years 11 months ago
2004
The authors present the Context Engineering (CE) approach to Information Systems Development (ISD) as a framework to organise ideas about previous development experience and to gu...
ISCC
2002
IEEE
15 years 2 months ago
2002
IEEE
In this paper, we study the problems of resource and performance management in channelized wireless networks. For identifying research issues systematically, we propose a research...