CAFE: An Industrial-Strength Algebraic Formal Method
()
About this ebook
The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or completely new ones, written especially for this book. In this regard, the book is not a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ. Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective.
Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs. All the environments explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are incorporated.
Related to CAFE
Related ebooks
Experimental Modelling in Engineering Rating: 0 out of 5 stars0 ratingsMathematical Optimization Terminology: A Comprehensive Glossary of Terms Rating: 0 out of 5 stars0 ratingsThe Partition Method for a Power Series Expansion: Theory and Applications Rating: 0 out of 5 stars0 ratingsDistributed Computer Systems: Theory and Practice Rating: 4 out of 5 stars4/5Theory of Structured Parallel Programming Rating: 0 out of 5 stars0 ratingsOptimization in Engineering Sciences: Exact Methods Rating: 0 out of 5 stars0 ratingsSystems Architecture Modeling with the Arcadia Method: A Practical Guide to Capella Rating: 5 out of 5 stars5/5Laboratory Statistics: Methods in Chemistry and Health Sciences Rating: 0 out of 5 stars0 ratingsExperiments and Modeling in Cognitive Science: MATLAB, SPSS, Excel and E-Prime Rating: 0 out of 5 stars0 ratingsElasticity: Theory, Applications, and Numerics Rating: 0 out of 5 stars0 ratingsAbstract Domains in Constraint Programming Rating: 0 out of 5 stars0 ratingsEconomic Multi Agent Systems: Design, Implementation, and Application Rating: 4 out of 5 stars4/5Interval Finite Element Method with MATLAB Rating: 0 out of 5 stars0 ratingsChemical Engineering Process Simulation Rating: 4 out of 5 stars4/5Topology Design Methods for Structural Optimization Rating: 2 out of 5 stars2/5A Comparative Study of Parallel Programming Languages: The Salishan Problems Rating: 0 out of 5 stars0 ratingsAnalysis and Probability Rating: 0 out of 5 stars0 ratingsAgent-based Spatial Simulation with NetLogo, Volume 2: Advanced Concepts Rating: 0 out of 5 stars0 ratingsQuantitative Spectroscopy: Theory and Practice Rating: 0 out of 5 stars0 ratingsEngineering a Compiler Rating: 0 out of 5 stars0 ratingsStochastic Modeling: A Thorough Guide to Evaluate, Pre-Process, Model and Compare Time Series with MATLAB Software Rating: 0 out of 5 stars0 ratingsNeuromimetic Semantics: Coordination, quantification, and collective predicates Rating: 0 out of 5 stars0 ratingsHeterogeneous Computing with OpenCL Rating: 1 out of 5 stars1/5System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications Rating: 0 out of 5 stars0 ratingsDesign for the Unexpected: From Holonic Manufacturing Systems towards a Humane Mechatronics Society Rating: 0 out of 5 stars0 ratingsInductive Links for Wireless Power Transfer: Fundamental Concepts for Designing High-efficiency Wireless Power Transfer Links Rating: 0 out of 5 stars0 ratingsDynamic Modeling of Transport Process Systems Rating: 0 out of 5 stars0 ratingsMaterials Selection in Mechanical Design Rating: 0 out of 5 stars0 ratings
Software Development & Engineering For You
Adobe Illustrator CC For Dummies Rating: 5 out of 5 stars5/5Python For Dummies Rating: 4 out of 5 stars4/5Agile Practice Guide Rating: 4 out of 5 stars4/5Level Up! The Guide to Great Video Game Design Rating: 4 out of 5 stars4/5Beginning C++ Programming Rating: 3 out of 5 stars3/5PYTHON: Practical Python Programming For Beginners & Experts With Hands-on Project Rating: 5 out of 5 stars5/5How Do I Do That In InDesign? Rating: 5 out of 5 stars5/5How to Write Effective Emails at Work Rating: 4 out of 5 stars4/5Beginning Programming For Dummies Rating: 4 out of 5 stars4/5Tiny Python Projects: Learn coding and testing with puzzles and games Rating: 5 out of 5 stars5/5Grokking Algorithms: An illustrated guide for programmers and other curious people Rating: 4 out of 5 stars4/5Hand Lettering on the iPad with Procreate: Ideas and Lessons for Modern and Vintage Lettering Rating: 4 out of 5 stars4/5The Essential Persona Lifecycle: Your Guide to Building and Using Personas Rating: 4 out of 5 stars4/5Good Code, Bad Code: Think like a software engineer Rating: 5 out of 5 stars5/5Learning Python Rating: 5 out of 5 stars5/5Photoshop For Beginners: Learn Adobe Photoshop cs5 Basics With Tutorials Rating: 0 out of 5 stars0 ratingsLearn to Code. Get a Job. The Ultimate Guide to Learning and Getting Hired as a Developer. Rating: 5 out of 5 stars5/5Programming Problems: A Primer for The Technical Interview Rating: 4 out of 5 stars4/5How Do I Do That in Photoshop?: The Quickest Ways to Do the Things You Want to Do, Right Now! Rating: 4 out of 5 stars4/5Modern C++ for Absolute Beginners: A Friendly Introduction to C++ Programming Language and C++11 to C++20 Standards Rating: 0 out of 5 stars0 ratingsLua Game Development Cookbook Rating: 0 out of 5 stars0 ratingsGit Essentials Rating: 4 out of 5 stars4/5Reversing: Secrets of Reverse Engineering Rating: 4 out of 5 stars4/5Coding All-in-One For Dummies Rating: 0 out of 5 stars0 ratingsOneNote: The Ultimate Guide on How to Use Microsoft OneNote for Getting Things Done Rating: 1 out of 5 stars1/5How to Build and Design a Website using WordPress : A Step-by-Step Guide with Screenshots Rating: 0 out of 5 stars0 ratings
Related categories
Reviews for CAFE
0 ratings0 reviews