Sciweavers

531 search results - page 20 / 107
» Integrative Levels of Program Comprehension
Sort
View
NLDB
2004
Springer
14 years 22 days ago
On Embedding Machine-Processable Semantics into Documents
—Most Web and legacy paper-based documents are available in human comprehensible text form, not readily accessible to or understood by computer programs. Here, we investigate an ...
Krishnaprasad Thirunarayan
ICECCS
1997
IEEE
114views Hardware» more  ICECCS 1997»
13 years 11 months ago
An approach to integration testing based on architectural descriptions
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
Antonia Bertolino, Paola Inverardi, Henry Muccini,...
WEBNET
1997
13 years 8 months ago
Easy Ed: An Integration of Technologies for Multimedia Education
–The accessibility of the World Wide Web and its flexibility for conveying digital information in various forms makes it a convenient mode of communication for education. In thi...
Gulrukh Ahanger, Thomas D. C. Little
CIKM
2007
Springer
14 years 1 months ago
Discovering interesting usage patterns in text collections: integrating text mining with visualization
This paper addresses the problem of making text mining results more comprehensible to humanities scholars, journalists, intelligence analysts, and other researchers, in order to s...
Anthony Don, Elena Zheleva, Machon Gregory, Sureyy...
LPAR
2005
Springer
14 years 26 days ago
Integration of a Software Model Checker into Isabelle
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
Matthias Daum, Stefan Maus, Norbert Schirmer, M. N...