AMAST SERIES IN COMPUTING – serie
Visar alla böcker i serien AMAST SERIES IN COMPUTING. Handla med fri frakt och snabb leverans.
8 produkter
ALGEBRAIC SPECIFICATION TECHNIQUES AND TOOLS FOR SOFTWARE DEVELOPMENT: THE ACT APPROACH
Av Ingo Claβen, Hartmut Ehrig m. fl.
Inbunden, 1993
946 kr
Lägg i varukorg
The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic …
ALGEBRAIC APPROACH TO COMPILER DESIGN, AN
Inbunden, 1997
1341 kr
Lägg i varukorg
This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a general normal form, capable of representing an arbitrary target machine. This is …
CONSTRUCTION AND ANALYSIS OF TRANSITION SYSTEMS WITH MEC
Inbunden, 1994
1191 kr
Tillfälligt slut
The importance of formal methods in software engineering has been receiving greater acknowledgement. These methods can be used at several stages of the software development process. This book focuses on a method concerning the early stages of design, namely the modeling of a system at conceptual …
THEORIES AND EXPERIENCES FOR REAL-TIME SYSTEM DEVELOPMENT
Av Charles Rattray, Teodor Rus m. fl.
Inbunden, 1995
2498 kr
Tillfälligt slut
Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time …
LANGUAGE PROTOTYPING: AN ALGEBRAIC SPECIFICATION APPROACH
Av A van Deursen, J Heering m. fl.
Inbunden, 1996
2143 kr
Tillfälligt slut
Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic specification approach to language prototyping, and is centered around the ASF+SDF formalism and Meta-Environment. The volume is an …
CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION
Av Razvan Diaconescu, Kokichi Futatsugi
Inbunden, 1998
709 kr
Tillfälligt slut
CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent specification and rewriting logic. CafeOBJ is the core of an environment supporting the systems (mainly software …
REAL-TIME SYSTEMS: MODELING, DESIGN AND APPLICATIONS
Av IONESCU DAN, Dan Ionescu m. fl.
Inbunden, 2007
3649 kr
Tillfälligt slut
This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six parts, together encompassing twenty chapters. Each …
FORMAL MODELS OF COMPUTATION: THE ULTIMATE LIMITS OF COMPUTING
Av Arthur Fleck
Inbunden, 2001
1864 kr
Tillfälligt slut
This book provides new presentations of standard computational models that help avoid pitfalls of the conventional description methods. It also includes novel approaches to some of the topics that students normally find the most challenging. The presentations have evolved in response to student …
