Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
CASL: the common algebraic specification language
Theoretical Computer Science
Logical systems for structured specifications
Theoretical Computer Science
Identifying Adaptable Components - A Rough Sets Style Approach
Proceedings of the Joint JSAI 2001 Workshop on New Frontiers in Artificial Intelligence
Tight and Loose Semantics for Transformation Systems
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Programs, Proofs and Parametrized Specifications
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
From Specifications to Code in CASL
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Invited Talk: Algebraic State Machines
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Exercises in Coalgebraic Specification
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Heterogeneous Development Graphs and Heterogeneous Borrowing
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
The Common Framework Initiative for Algebraic Specification and Development of Software
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Correct Object-Oriented Systems in Computational Logic
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Scientific Decisions which Characterize VDM
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
An Algebraic Framework for Higher-Order Modules
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Global Development via Local Observational Construction Steps
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Exercises in coalgebraic specification
Algebraic and coalgebraic methods in the mathematics of program construction
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
Algebraic specifications: some old history and new thoughts
Nordic Journal of Computing
Computer algebra handbook
Algebraic Semantics of an Imperative Programming Language
Programming and Computing Software
An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language
Programming and Computing Software
CSP-CASL: a new integration of process algebra and algebraic specification
Theoretical Computer Science - Algebraic methods in language processing
A formal approach to component adaptability
ACST'06 Proceedings of the 2nd IASTED international conference on Advances in computer science and technology
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
IEEE Transactions on Software Engineering
Monitoring conversational web services
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Observational interpretation of casl specifications
Mathematical Structures in Computer Science
Observability Concepts in Abstract Data Type Specification, 30 Years Later
Concurrency, Graphs and Models
Event strictness for components with complex bindings
Proceedings of the 2nd India software engineering conference
Logic based formalization of UML use case modeling
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Integration of formal datatypes within state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Testing data types implementations from algebraic specifications
Formal methods and testing
From grammars and automata to algebras and coalgebras
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Refinement trees: calculi, tools, and applications
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Checking the conformance of java classes against algebraic specifications
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A simple refinement language for CASL
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Property preserving redesign of specifications
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Externalized and internalized notions of behavioral refinement
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A proof theoretic interpretation of model theoretic hiding
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Combining graph transformation and algebraic specification into model transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
| Hi-index | 0.00 |
From the Publisher:This book is a collection of high-quality contributions in the area of algebraic foundations of system specification, written by well-known experts. The contributions cover active topics and recent advances, and relate the work to other specification paradigms. Topics include institutions, partiality, specification semantics, structuring, refinement, specification languages, term rewriting, deduction, model-oriented specification, object-specification, concurrency, and the development process. All topics are clearly introduced, well illuminated with examples, and systematically developed.