1,341 Hits in 3.8 sec

Stepwise Debugging of Description-Logic Programs [chapter]

Johannes Oetsch, Jörg Pührer, Hans Tompits
2012 Lecture Notes in Computer Science  
Description-logic programs (or DL-programs for short) combine logic programs under the answer-set semantics with description logics for semanticweb reasoning.  ...  In particular, methods for debugging DL-programs are needed.  ...  Introduction Description-logic programs (or DL-programs for short) [1] have been proposed as a powerful formalism to couple answer-set programming (ASP) [2] and description logics (DLs) [3] for semantic-web  ... 
doi:10.1007/978-3-642-30743-0_34 fatcat:6hjtkvvucrhjbb7fywc5xefpd4


2013 Journal of Computer Science  
Debugging on computer program is a complex cognitive activity. Although it is complex, it's still one of the popular issues in computer programming task.  ...  If the programming logic is incorrect, the program codes will have such error named as logic error and can caused highly maintenance cost.  ...  Hybrid Debugging Technology, HDT (Kouh and Yoo, 2003 ) is a debugging technique to debug a Java program with combines an algorithmic debugging method with a traditional stepwise debugging method.  ... 
doi:10.3844/jcssp.2013.16.29 fatcat:jfao4hvzbbgibgijlmqtskvlau

Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification [chapter]

Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle
2009 Lecture Notes in Computer Science  
This paper reports about the design, implementation, and experiences with a non-traditional formal methods course called "Testing, Debugging, and Verification".  ...  stepwise execution of programs, breakpoints and variable inspection hands-on using the Eclipse debugger. use delta debugging to automatically minimize the input revealing a certain error.  ...  Further features of the visual debugger include stepwise symbolic program execution, breakpoints and watchpoints.  ... 
doi:10.1007/978-3-642-04912-5_9 fatcat:llzt4yowerbp7myyvmkl2i67oy

Development and study of technological visual programming of logic control problems

Ilya Furman, Alexander Allashev, Aleksey Piskarev, Stanislav Bovchaliuk
2017 Eastern-European Journal of Enterprise Technologies  
of a project, to describe different control algorithms, in the stepwise emulation mode to debug control logic in TVP-environment itself, and to work out sequentially a set of input vectors in emulation  ...  logic in the form of tables of the debugged cyclogram into a program code into standard PLC language; -a specialized translator, which generates description of a controlling digital device in the hardware  ... 
doi:10.15587/1729-4061.2017.118833 fatcat:5f6xs4tgzffexawstvo7thtu2q

Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets [chapter]

Manuel Wimmer, Angelika Kusel, Johannes Schoenboeck, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger
2009 Lecture Notes in Computer Science  
debugging support in particular.  ...  and a homogenous view on all artifacts of a transformation.  ...  Secondly, OCL can be used to tackle the well-known debugging problem that programs execute forward in time whereas programmers must reason backwards in time to find the origin of a bug.  ... 
doi:10.1007/978-3-642-04425-0_59 fatcat:sb65niirjbc4rnyzeu7ozigqlq

Hardware debugging for on-line psychologists

Robert S. McLean
1973 Behavior Research Methods & Instrumentation  
DEBUGGING STARTS WITH DESIGN Just as programs are easier to get running if they are well thought out during the design stage, so hardware can be designed to facilitate debugging and test.  ...  An even better idea is to commit the description to writing at this point.  ... 
doi:10.3758/bf03200139 fatcat:s4pxvrg5fbh2vnlpvoq3avbjeu

Engineering software under statistical quality control

R.H. Cobb, H.D. Mills
1990 IEEE Software  
Mills is president of Software Engineering Technology and a professor of computer science at Florida Institute of Technology.  ...  Cobb is vice president of Software Engineering Technology.  ...  Stepwise refinement. Box structures provide a rigorous stepwise refinement algorithm that guides system design in an orderly, logical manner, with natural checkpoints along the way.  ... 
doi:10.1109/52.60601 fatcat:7wnex4eujvgcvdvven75rnxq3m

The Role of Executable Abstract Programs in Software Development and Documentation [article]

Egon Boerger
2022 arXiv   pre-print
process (including reuse and change of abstract programs and code) and reduces maintenance cost.  ...  The intuitive understanding of these programs fits the computational mindset of software system engineers and is supported by a simple but precise behavioural definition.  ...  extensions of first-order logic for finite structures or modal logics for (dynamic logic) reasoning about computer programs.  ... 
arXiv:2209.06546v1 fatcat:nwcvjv7e6vbaljnvlg6pd434fy

A multi-level approach to information system modeling

Jan A. Aitken, Keith B. Johnston
1982 Annual Simulation Symposium  
The modeling approach defines a series of progressively more detailed system models.  ...  The models range from a highest-level functional model, which can be defined in the earliest stages of system design, through several intermediate level models representing more detailed views of a system  ...  Moreover, it enables a stepwise approach to model debugging, reducing the debugging of a complex model to a sequence of more manageable debugging steps.  ... 
dblp:conf/anss/AitkenJ82 fatcat:5i6dsfwzongghd3xayxaexduva

A Petri Net Based Debugging Environment for QVT Relations

Manuel Wimmer, Gerti Kappel, Johannes Schoenboeck, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger
2009 2009 IEEE/ACM International Conference on Automated Software Engineering  
As a prerequisite for convenient debugging, TROPIC provides a homogeneous view on all artifacts of a transformation on basis of a single formalism.  ...  This is not least due to missing tool support in general and inadequate debugging support in particular.  ...  The graphical representation in TROPIC offers the possibility to debug QVT Relations code on a high level of abstraction [19] . Interactive debugging is enabled by stepwise firing of transitions.  ... 
doi:10.1109/ase.2009.99 dblp:conf/kbse/WimmerKSKRS09 fatcat:7mgrr75m55g5lmjhzpgwfo4oza

AI—A multiple book review

Ulrich Furbach
2003 Artificial Intelligence  
One aspect which is missing in all books is the description of modern knowledge representation formats, known as concept languages or description logics.  ...  The logical formalisms are used for both representation of the fundamental methods and algorithms of AI, and for reasoning: it uses logic programming as a knowledge representation format and as a specification  ... 
doi:10.1016/s0004-3702(03)00011-0 fatcat:emb5e3rzzjbo5iqlooi3h34e6a

KWIC (key word in context)

1984 The Journal of Logic Programming  
[336] on of an Abstract PROLOG Machine [334]An Abstraction in Logic Programming [198]Modularization and Abstraction in Logic Programming [199]Modularization and Abstraction in PROLOG/KR [439]Data Acceptability  ...  of FGCS [534]New Applications: User and Social Access to PROLOG Database Systems [529]  ...  PROLOG DBM Systems [206]The Application of PROLOG to the Development of QA and Debugging Facilities [75]PROLOG Debugging System [158]Mechanization of an Oracle in a Debugging ]549]Algorithmic Program  ... 
doi:10.1016/0743-1066(84)90025-6 fatcat:ypq2jrr3mvd3hflnp6ftrcd5vm

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support

2013 Theory and Practice of Logic Programming  
In this respect,SeaLionis the first IDE for ASP that provides debugging features that work for real-world answer-set programs and supports the rich languages of modern answer-set solvers.  ...  The tool has been realised in the context of a research project whose goal is the development of techniques to support the practical coding process of answer-set programs.  ...  , and logic programming.  ... 
doi:10.1017/s1471068413000410 fatcat:yvqsto7vlzfqrjzmrb5lqoke3i

The Doctoral Symposium at MODELS 2009 [chapter]

Juergen Dingel
2010 Lecture Notes in Computer Science  
Description logic is a family of logics for concept definitions that allows for joint as well as for separate sound and complete reasoning at the model and at the instance level given the definition of  ...  Proposed Solution We suggest defining DSLs in a way that makes use of ontology technologies, in particular description logics [4] .  ...  Unfortunately, the majority of software developers today are short on parallel programming experience, and at least in the near future tools and techniques will not be able to fully exploit concurrency  ... 
doi:10.1007/978-3-642-12261-3_1 fatcat:5sjnbavhwje7lphkdlznmg5kpi

The literate-programming paradigm

D. Cordes, M. Brown
1991 Computer  
This permits abstraction of the basic thoughts regarding program logic into a sequence of lower level ideas and actions, thus capturing the process of stepwise refinement for the algorithm.  ...  Program debugging tools. A set of graphical tools for assisting in program development and debugging should be available to the literate-programming community.  ... 
doi:10.1109/2.86838 fatcat:nqc65l46ifhgddt5b4cjzhssrm
« Previous Showing results 1 — 15 out of 1,341 results