69 search results - page 9 / 14 » Heterogeneous Notations for Pure Formal Method Integration |
ECAI
2004
Springer
14 years 22 days ago
2004
Springer
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
JDCTA
2008
13 years 7 months ago
2008
For interoperation of heterogeneous management systems and integration of existing legacy applications in telecommunication network management systems, a translation from GDMO/ASN...
DGO
2003
13 years 8 months ago
2003
Metadata descriptions of database contents are required to build and use systems that access and deliver data in response to user requests. When numerous heterogeneous databases a...
ECBS
2005
IEEE
14 years 29 days ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
ASWEC
2009
IEEE
14 years 2 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...