A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Thirty years of algebraic specification
2006
The Journal of Logic and Algebraic Programming
Preserved Fulltext
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
1999
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
Learning Disability Quarterly
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2020
Education Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 10th International Conference on Quality Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2007
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1915
Journal of Education
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2021
Enumerative Combinatorics and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2002
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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