Sciweavers

602 search results - page 25 / 121
» Supporting Program Comprehension Using Semantic and Structur...
Sort
View
JAIR
2007
117views more  JAIR 2007»
13 years 7 months ago
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
Renata Vieira, Álvaro F. Moreira, Michael W...
WIKIS
2009
ACM
14 years 2 months ago
Incremental knowledge acquisition in software development using a weakly-typed Wiki
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...
Filipe Figueiredo Correia, Hugo Sereno Ferreira, N...
ASP
2003
Springer
14 years 26 days ago
Suitable Graphs for Answer Set Programming
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
Thomas Linke
ESWS
2008
Springer
13 years 9 months ago
Adding Data Mining Support to SPARQL Via Statistical Relational Learning Methods
Exploiting the complex structure of relational data enables to build better models by taking into account the additional information provided by the links between objects. We exten...
Christoph Kiefer, Abraham Bernstein, André ...
TSE
2010
148views more  TSE 2010»
13 years 6 months ago
Program Behavior Discovery and Verification: A Graph Grammar Approach
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
Chunying Zhao, Jun Kong, Kang Zhang