Filters








574,096 Hits in 6.8 sec

Thirty years of algebraic specification

Fernando Orejas
2006 The Journal of Logic and Algebraic Programming  
presented at a conference in 1975) and Zilles report on algebraic specification (1974) .  ...  Thirty years of algebraic specification Algebraic specification has its origins, on one hand, in the early work on modularization and data abstraction by Parnas, Hoare, Liskov and Zilles and, on the other  ... 
doi:10.1016/j.jlap.2005.09.001 fatcat:4mmdkybdyvbcrh4u3psfp47iie

Algebraic methods for specification and formal development of programs

Donald Sannella, Andrzei Tarlecki
1999 ACM Computing Surveys  
The roots of our work in this area are in the theory of algebraic specification.  ...  In this note we sum up our experiences so far, hint at the need for further work in certain areas, and speculate a bit about the directions in which we expect to go in the future.  ...  It is a functional language, which fits comfortably with the philosophical view of work on algebraic specification.  ... 
doi:10.1145/333580.333589 fatcat:wyih6yl2a5fwbayaubqa3moiw4

Improving Performance in High School Algebra: What Students with Learning Disabilities are Saying

Larry J. Kortering, Laurie U. de Bettencourt, Patricia M. Braziel
2005 Learning Disability Quarterly  
Despite its importance, we know little about what students with and without LD say about their algebra classes.  ...  Success in high school algebra is gaining increased importance for all students, including those identified as having learning disabilities (LD).  ...  Group Work (5 responses) Let us work in groups more than once a month; More group work and some encouragement from the teacher; You could at least make us have group work; Let us work with partners more  ... 
doi:10.2307/1593658 fatcat:zw7nkhcbh5hfdkkc6gfogsnjnu

Using Domain Specific Languages to Support Verification in the Railway Domain [chapter]

Phillip James, Arnold Beckmann, Markus Roggenbach
2013 Lecture Notes in Computer Science  
We explore the support of automatic verification via careful design of a domain specific language (DSL) in the context of algebraic specification.  ...  We illustrate these ideas within the Railway Domain using the algebraic specification language Casl and an existing DSL, designed by Bjørner, for modelling railways.  ...  These include approaches using process algebraic modelling and verification in CSP [10] , algebraic specification with ASF+SDF [4] and model-oriented specification using the B method, where, for example  ... 
doi:10.1007/978-3-642-39611-3_26 fatcat:lltzxwkpbfchjeexj5qptwebgu

Review of How students think when doing algebra

Amy Kassel
2020 Education Review  
meaningful algebraic work.  ...  At the core of book are the specific, practical examples to improve instructional practices.  ... 
doi:10.14507/er.v27.2789 fatcat:gk4vhb6grzc5lfxbnrjvdrf57i

My ADT Shrine [chapter]

Hans-Dieter Ehrich
2012 Lecture Notes in Computer Science  
First encounters with pioneers in the field are recalled, in particular with the ADJ group who initiated the initial-algebra approach. The author's contributions at that time are put in this context.  ...  Around 1982, the emphasis of his work moved to databases and information systems, in particular conceptual modeling.  ...  unify and standardize the algebraic specification languages that were around at that time.  ... 
doi:10.1007/978-3-642-28412-0_2 fatcat:sk7ds3rypzbabfxqxclfygfr3u

An Experiment with Algebraic Specifications of Software Components

Hong Zhu, Bo Yu
2010 2010 10th International Conference on Quality Software  
Moreover, it is not time consuming to write algebraic specifications for software components.  ...  This paper reports a controlled experiment to test if this myth is true or false in the context of writing algebraic formal specifications.  ...  This means that students who are good at programming learn algebraic specification easier and quicker.  ... 
doi:10.1109/qsic.2010.54 dblp:conf/qsic/ZhuY10 fatcat:wfyyjmt25ne4vfhajr5dlf5x2y

The Common Framework Initiative for Algebraic Specification and Development of Software [chapter]

Donald Sannella
2000 Lecture Notes in Computer Science  
This paper is a brief summary of past and present work on CoFI.  ...  The central element of the Common Framework is a specification language called Casl for formal specification of functional requirements and modular software design which subsumes many previous algebraic  ...  CASL Casl represents a consolidation of past work on the design of algebraic specification languages.  ... 
doi:10.1007/3-540-46562-6_1 fatcat:eigcvszbr5hutlkl454ao5q5yu

On the Design Rationale of ACP Style Process Algebras

Jan A. Bergstra
2006 Electronical Notes in Theoretical Computer Science  
At the same time it is a parameter for process algebra design 1  ...  The design of ACP (1984) as an equational presentation of process algebras emerged from several sources and technically stands in the tradition of the algebraic specification of abstract data types as  ...  Program Algebra and its related Thread Algebra are recent outcomes of that line of work.  ... 
doi:10.1016/j.entcs.2005.12.105 fatcat:p7rkzof2wzfgnbom4l4eaooh7e

Page 5022 of Mathematical Reviews Vol. , Issue 2001G [page]

2001 Mathematical Reviews  
However, initial algebra semantics only works for specifications employing the rel- atively inexpressive, equational or positive conditional axioms.  ...  This work was algebraic in that it employed universal alge- bra and elementary category theory.  ... 

The Development of an Inquiry-based Curriculum Specifically for the Introductory Algebra-based Physics Course [article]

Beth Thacker, Abel Diaz, Ann Marie Eligon
2007 arXiv   pre-print
So we have modified and adapted parts of existing materials and integrated them with our own new units and our own format, creating a course aimed specifically at these students.  ...  We discuss an inquiry-based curriculum that has been developed specifically for the introductory algebra-based physics course, taking into account the needs, backgrounds, learning styles and career goals  ...  It is a curriculum aimed specifically at students in the algebra-based physics course.  ... 
arXiv:physics/0702247v1 fatcat:o3lxqoxylzc3leuqldsyzmhyp4

The Purpose Op Algebra in the Elementary School

F. M. Hedges
1915 Journal of Education  
The algebra work should be closely related to the work in arithmetic and that relation con cretely brought out. The pupil should feel that algebra is merely a continuation of arithmetic.  ...  Taking up the first of these objects, gives the second specific purpose to be kept in mind for a course of algebra in the elementary school.  ... 
doi:10.1177/002205741508102305 fatcat:xcd5qjhyirfm3n6ay7wt2l6aia

Application and Formal Specification of Sorted Term-Position Algebras [chapter]

Arnd Poetzsch-Heffter, Nicole Rauch
2005 Lecture Notes in Computer Science  
This paper describes possible applications of termposition algebras and investigates their formal specification in existing specification frameworks.  ...  In particular, it presents an algebraic specification of term-positions in Casl and in a higher-order logic. { } Datatype Declaration.  ...  Tepos-Algebras at Work In this section, we show how tepos-algebras can be used in programming and specification.  ... 
doi:10.1007/978-3-540-31959-7_12 fatcat:bgxsqb76bnh6vcrhscd7c6yu4e

Interview with Amitai Regev

ECA Interviews
2021 Enumerative Combinatorics and Applications  
seminal contributions to the asymptotic enumeration of Young tableaux and tableaux of thick hook shape, and together with William Beckner proved the Macdonald-Selberg conjecture for the infinite Lie algebras  ...  Mansour: How was the mathematics in Israel and specifically at the Hebrew University at that time?  ...  Regev: At that time I thought I was mostly interested in algebra. Algebra in Israel at that time meant algebra at the Hebrew University, and mostly -with Amitsur.  ... 
doaj:a4a4a2fcd5804e82b05f6b85a0298716 fatcat:6xilnsg5srdb3l364kytynywaa

Foundations for a Combination of Heterogeneous Specification Components

Gwen Salaün, Michel Allemand, Christian Attiogbé
2002 Electronical Notes in Theoretical Computer Science  
Our work aims at building or reusing specification components, and compose them with a gluing language constituted of a minimal but sufficient set of operators.  ...  The glue allows to have at one's disposal a global formal specification with heterogeneous components as basic entities.  ...  This previous study aimed at combining in an heterogeneous manner the process algebra Promela with the language of algebraic specifications Larch.  ... 
doi:10.1016/s1571-0661(04)80453-5 fatcat:eprygsealbfk3bs47uf6x4n7fi
« Previous Showing results 1 — 15 out of 574,096 results