Results 31 to 40 of about 65,035 (289)
Observation and abstract behaviour in specification and implementation of state-based systems [PDF]
, 2001 Classical algebraic specification is an accepted framework for specification. A criticism which applies is the fact that it is functional, not based on a notion of state as most software development and implementation languages are.
Pahl, Claus
core +2 more sources
Implementation of Abstract Data Types in Dynamic Sketches for Learning Geometry
Informatics in Education, 2014 A long-term observation of students' usage of a dynamic geometry in a classroom at all grade levels has challenged to develop an approach for learning and understanding mathematics in an easier way for both students and teachers. The paper deals with the
Egle JASUTE, Valentina DAGIENE
doaj +1 more source
Algebraic-Coalgebraic Specification in CoCasl
The Journal of Logic and Algebraic Programming, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Till Mossakowski +3 more
openaire +3 more sources
An Accelerated Iterative Cone Beam Computed Tomography Image Reconstruction Approach
مجلة النهرين للعلوم الهندسية, 2019 Cone-beam computed tomography (CBCT) is an indispensable method that reconstructs three dimensional (3D) images. CBCT employs a mathematical technique of reconstruction, which reveals the anatomy of the patient’s body through the measurements of ...
Shimaa Abdulsalam Khazal +1 more
doaj +1 more source
Formal refinement of extended state machines [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This translation is especially difficult to achieve.
Thomas Fayolle +3 more
doaj +1 more source
A relation-algebraic approach to simple games [PDF]
, 2011 International audienceSimple games are a powerful tool to analyze decision - making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple games and develop relational specifications for ...
Berghammer, Rudolf +3 more
core +5 more sources
On algebraic specifications of computable algebras with the discriminator technique [PDF]
RAIRO - Theoretical Informatics and Applications, 1990 This informative paper uses a specification due to \textit{R. McKenzie} [J. Symb. Logic 40, 186-196 (1975; Zbl 0316.02052)] for a so called discriminator function to enrich computable minimal algebras in order to find equational initial algebra specifications with a single equation only. This improves a result by Bergstra and Tucker.
G. Gagliardi, Sauro Tulipani
openaire +2 more sources
JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction [PDF]
, 2007 Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete.
A. Petrenko +32 more
core +1 more source
Semantic Observation Integration
Future Internet, 2012 Although the integration of sensor-based information into analysis and decision making has been a research topic for many years, semantic interoperability has not yet been reached.
Werner Kuhn +3 more
doaj +1 more source
Increasing the Performance of the Iterative Computed Tomography Image Reconstruction Algorithms
مجلة النهرين للعلوم الهندسية, 2020 Computed tomography (CT) imaging is an important diagnostic tool. CT imaging facilitates the internal rendering of a scanned object by measuring the attenuation of beams of X-ray radiation.
Shimaa Abdulsalam Khazal +1 more
doaj +1 more source