A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
Stepwise Refinement of Discrete Event Systems

離散事象システムの段階的詳細化について

1992
*
Transactions of the Society of Instrument and Control Engineers
*

離散事象システムの段階的詳細化について

In a top-down design

doi:10.9746/sicetr1965.28.733
fatcat:llhx34fupfaubgpbh3v3rscpii
*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. ...##
###
Algebraic Specification and Program Development by Stepwise Refinement
[chapter]

2000
*
Lecture Notes in Computer Science
*

Various formalizations

doi:10.1007/10720327_1
fatcat:4f3jrkqdt5ef5b74ynxi7eaixy
*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 ...##
###
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

1992
*
Computer journal
*

The intention

doi:10.1093/comjnl/35.5.460
fatcat:bydbyk3m4bc3vnr6xnn5no27lq
*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 ...##
###
A general framework for modular implementations of modular system specifications
[chapter]

1993
*
Lecture Notes in Computer Science
*

parts (modules)

doi:10.1007/3-540-56610-4_65
fatcat:exvrehgxvbdmdpkqtyhqr7snmm
*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 ...##
###
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]

1998
*
Lecture Notes in Computer Science
*

have been offered for systematic

doi:10.1007/3-540-49674-2_13
fatcat:wbezgfhz65c6hg6dtlnx65pjnm
*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. ...##
###
Algebraic implementation of abstract data types

1982
*
Theoretical Computer Science
*

The new concept

doi:10.1016/s0304-3975(82)80001-7
fatcat:sjife7d2urcf5cp3xvfvnc322i
*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. ...##
###
An Algebra of Graph Derivations Using Finite (co—) Limit Double Theories
[chapter]

1999
*
Lecture Notes in Computer Science
*

For that purpose we use a categorical three level approach for the

doi:10.1007/3-540-48483-3_7
fatcat:olhzrsdjwzea5jmna4m2drugoq
*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*. ...##
###
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"

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

dblp:conf/mkm/Neuper18
fatcat:uqf5ywbl55h6rn5wde2guiu27a
*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 ...##
###
Toward Component-Oriented Formal Software Development: An Algebraic Approach
[chapter]

2004
*
Lecture Notes in Computer Science
*

by means

doi:10.1007/978-3-540-24626-8_5
fatcat:qstj66wjgbhnfmbxy7aepayglq
*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 ...##
###
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

2002
*
Electronical Notes in Theoretical Computer Science
*

In [5] we introduced a framework for

doi:10.1016/s1571-0661(05)80493-1
fatcat:lvoh5fgwx5aqtn7l6dgnjuyjhu
*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 η = ν; ρ. ...##
###
The Integration of Programming in Swedish School Mathematics: Investigating Elementary Mathematics Textbooks

2021
*
Scandinavian Journal of Educational Research
*

The result uncovers "follow a procedure" as the dominating action, in which the concepts

doi:10.1080/00313831.2021.1897879
fatcat:5dni7dyqb5apdgqveyvdb7he2m
*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 ...
« Previous

*Showing results 1 — 15 out of 8,883 results*