1023 search results - page 168 / 205 » A Formal Method for Program Slicing |
105
click to vote
FMOODS
2003
15 years 2 months ago
2003
Abstract. Inheritance is one of the key features for the success of objectoriented languages. Inheritance (or specialisation) supports incremental design and re-use of already writ...
132
click to vote
IFM
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
120
click to vote
SIGSOFT
2002
ACM
16 years 2 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
145
click to vote
ROBOCUP
2004
Springer
15 years 6 months ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
126
click to vote
SIGCSE
2009
ACM
16 years 2 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...