8,883 Hits in 3.0 sec

Stepwise Refinement of Discrete Event Systems

Xiaohua HU, Akihiro KANESHIGE, Katsuaki ONOGI, Yoshiyuki NISHIMURA
1992 Transactions of the Society of Instrument and Control Engineers  
In a top-down design of a discrete event system, one starts with a high-level model of the system and refines it stepwise until a sufficient low-level model has been reached.  ...  Establishing a firm foundation of such methodology is the central topic of this paper.  ...  Ludmila: On models and Algebras for Concurrent Processes, LNCS 324, 27/43 (1988) 13) H. Ehrig and B. Mahr: Fundamentals of Algebraic Specification 1, Springer-Verlag (1985) 14) A. Michael and G.  ... 
doi:10.9746/sicetr1965.28.733 fatcat:llhx34fupfaubgpbh3v3rscpii

Algebraic Specification and Program Development by Stepwise Refinement [chapter]

Donald Sannella
2000 Lecture Notes in Computer Science  
Various formalizations of the concept of "refinement step" as used in the formal development of programs from algebraic specifications are presented and compared.  ...  Acknowledgements: Hardly any of the above is new, and all of it is the product of collaboration.  ...  Thanks to Martin Wirsing for starting me off in this direction in [SW83] , to Andrzej Tarlecki (especially) for close collaboration on most of the remainder, to Martin Hofmann for collaboration on [HS96  ... 
doi:10.1007/10720327_1 fatcat:4f3jrkqdt5ef5b74ynxi7eaixy

Page 3939 of Mathematical Reviews Vol. , Issue 93g [page]

1993 Mathematical Reviews  
Mauw, Process algebra as a tool for the specification and verification of CIM-architectures (53-80); J. A. Bergstra, A process creation mechanism in process algebra (81- 88); L. Kossen and W. P.  ...  Using the mode information, the functions needed to construct the func- tional program are identified. The function definitions may then be derived from the clauses in PROLOG specification.  ... 

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development

H. Ehrig, B. Mahr, I. Classen, F. Orejas
1992 Computer journal  
The intention of this part 1 of an overview paper on algebraic specifications is an informal introduction to formal methods for software development in general and to applications of algebraic specifications  ...  In part 2 of this paper we give a survey of the research field of algebraic specifications developed within the last two decades, which shows how the classical view of algebraic specifications has been  ...  In addition, within the algebraic specification approach several structuring and modularisation constructs have been defined such that: • Specifications can be built in a stepwise manner, facilitating  ... 
doi:10.1093/comjnl/35.5.460 fatcat:bydbyk3m4bc3vnr6xnn5no27lq

A general framework for modular implementations of modular system specifications [chapter]

Michel Bidoit, Rolf Hennicker
1993 Lecture Notes in Computer Science  
parts (modules) of a system specification and the encapsulated development of each implementation part using the principle of stepwise refinement.  ...  All constructs are defined on top of a very general logical framework thus being applicable to various kinds of specification formalisms.  ...  Semantically, a specification module denotes a class of (algebra-valued) functors and a system specification denotes the class of all algebras which can be constructed by (successive) functor applications  ... 
doi:10.1007/3-540-56610-4_65 fatcat:exvrehgxvbdmdpkqtyhqr7snmm

Page 2858 of Mathematical Reviews Vol. , Issue 93e [page]

1993 Mathematical Reviews  
The problems of construction of symmetric bases and of classification of irreducible representations of non- compact groups are considered.  ...  blocks of one or the other W, algebra.  ... 

A Higher Order Reconstruction of Stepwise Enhancement [chapter]

Lee Naish, Leon Sterling
1998 Lecture Notes in Computer Science  
have been offered for systematic construction of logic (usually Prolog) programs.  ...  EXTENDED ABSTRACT Motivation In the last couple of years, there has been renewed interest in systematic methods for the construction of This paper loosely characterises the progression of approaches that  ...  Stepwise Enhancement for Prolog Program Construction The method of stepwise enhancement (Lakhotia, 1989) was originally conceived as an adaptation of stepwise refinement to Prolog.  ... 
doi:10.1007/3-540-49674-2_13 fatcat:wbezgfhz65c6hg6dtlnx65pjnm

Algebraic implementation of abstract data types

H. Ehrig, H.-J. Kreowski, B. Mahr, P. Padawitz
1982 Theoretical Computer Science  
The new concept of algebraic implementations includes implementations for algorithms in specific programming languages and on the other hand it meets also the requirements for stepwise refinement of structured  ...  Starting with a review of the theory of algebraic specifications in the sense of the ADJ-group a new theory for algebraic implementations of abstract data types is presented.  ...  Weber and the referee of this paper for several valuable comments concerning the topic of this paper.  ... 
doi:10.1016/s0304-3975(82)80001-7 fatcat:sjife7d2urcf5cp3xvfvnc322i

An Algebra of Graph Derivations Using Finite (co—) Limit Double Theories [chapter]

Andrea Corradini, Martin Groβe-Rhode, Reiko Heckel
1999 Lecture Notes in Computer Science  
For that purpose we use a categorical three level approach for the construction of models of computations based on structured transition systems.  ...  Graph transformation systems have been introduced for the formal specification of software systems.  ...  Due to the stepwise definition and the compositionality properties of algebraic specifications also concrete models can be constructed and checked stepwise.  ... 
doi:10.1007/3-540-48483-3_7 fatcat:olhzrsdjwzea5jmna4m2drugoq

Page 5382 of Mathematical Reviews Vol. , Issue 94i [page]

1994 Mathematical Reviews  
Summary: “We develop a framework for stepwise synthesis of logic programs from incomplete specifications.  ...  The key observation of the paper under review is that the operations of such comprehensions define what is “almost” a monad, in the sense of algebraic theories [E.G.  ... 

Mechanical Explanation in "Systems that Explain Themselves"

Walther Neuper
2018 International Conference on Intelligent Computer Mathematics  
Principal Benefits The programs describe algorithms required to solve the engineering problems, this is how the prototype provides "next step guidance" during stepwise construction of solutions according  ...  [Bac10]) 3. each step is justified by application of appropriate theorems 4. specific steps are equivalent to functions in Computer Algebra: simplification, differentiation, equation solving, etc 5. these  ... 
dblp:conf/mkm/Neuper18 fatcat:uqf5ywbl55h6rn5wde2guiu27a

Toward Component-Oriented Formal Software Development: An Algebraic Approach [chapter]

Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2004 Lecture Notes in Computer Science  
by means of stepwise refinement.  ...  In particular we take into account an observational interpretation of requirements specifications and study its impact on the definition of the semantics of specifications of (parametrized) components.  ...  There has been a great deal of work in the algebraic specification tradition on formalizing the intuitive idea of software development by stepwise refinement, including [EKMP82, GM82, Gan83, Sch87, ST88b  ... 
doi:10.1007/978-3-540-24626-8_5 fatcat:qstj66wjgbhnfmbxy7aepayglq

Page 2822 of Mathematical Reviews Vol. , Issue 92e [page]

1992 Mathematical Reviews  
To deal with them as semantical constraints, as the authors suggest, indicates some awareness of the semantic problems. In Chapter 4, constructive and semi-constructive specifications are discussed.  ...  But the complete theory of algebraic specification is not the subject of the book.  ... 

Composition and Refinement of Specifications of Parameterized Data Types

Yngve Lamo, Michal Walicki
2002 Electronical Notes in Theoretical Computer Science  
In [5] we introduced a framework for specification of parameterized data types utilizing a generalization of the traditional semantics based on the pushout construction.  ...  We give examples based on the analogues of the classical vertical and horizontal composition of such specifications.  ...  Stepwise instantiation, first along ν and then ρ, represents a slightly different construction than the direct instantiation along η = ν; ρ.  ... 
doi:10.1016/s1571-0661(05)80493-1 fatcat:lvoh5fgwx5aqtn7l6dgnjuyjhu

The Integration of Programming in Swedish School Mathematics: Investigating Elementary Mathematics Textbooks

Kajsa Bråting, Cecilia Kilhamn
2021 Scandinavian Journal of Educational Research  
The result uncovers "follow a procedure" as the dominating action, in which the concepts stepwise instruction and repeated pattern were frequent.  ...  The analytical tools used are based on the so-called 5E's, a theoretical framework of action, developed within the ScratchMath project, and Brennan and Resnick's (2012) terms computational concepts and  ...  This result is reflected in the Swedish syllabus where stepwise instructions is emphasized in the core content of algebra for grades 1-3 and algorithm in the core content of algebra for grades 4-6 (Swedish  ... 
doi:10.1080/00313831.2021.1897879 fatcat:5dni7dyqb5apdgqveyvdb7he2m
« Previous Showing results 1 — 15 out of 8,883 results