71 search results - page 3 / 15 » Domain Engineering with Event-B: Some Lessons We Learned |
AAAI
2007
13 years 8 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...
CIKM
2003
Springer
13 years 11 months ago
2003
Springer
In recent work we have developed a novel approach to the design and implementation of an online portal (ePortal) to help application engineers find replacements for electronic par...
APSEC
2002
IEEE
13 years 10 months ago
2002
IEEE
Software process improvement (SPI) has emerged as a critical area for organizations involved in software development. There is now considerable evidence that SPI can provide subst...
OOPSLA
2004
Springer
13 years 11 months ago
2004
Springer
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...
AAAI
1994
13 years 7 months ago
1994
One of the original motivations for research in qualitative physics was the development of intelligent tutoring systems and learning environments for physical domains and complex ...