615 search results - page 31 / 123 » The challenges of automated methods for integrating systems |
ICWE
2010
Springer
14 years 1 months ago
2010
Springer
: © A visual tool for rapid integration of enterprise software applications Inbal Marhaim, Eli Mordechai, Claudio Bartolini, Ruth Bergman, Oren Ariel, Christopher Peltz HP Laborat...
JAR
1998
13 years 8 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
LICS
1994
IEEE
14 years 28 days ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
AICCSA
2006
IEEE
14 years 2 months ago
2006
IEEE
Although E-learning has advanced considerably in the last decade, some of its aspects, such as E-testing, are still in the development phase. Authoring tools and test banks for E-...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...