Software Engineering 2 Specification of Systems and Languages /

• Κύριος συγγραφέας: Bjørner, Dines (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Texts in Theoretical Computer Science An EATCS Series
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computers.; Computer logic.; Computer Science.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Programming Techniques.; Logics and Meanings of Programs.

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic...

Πίνακας περιεχομένων:

• Opening
• Specification Facets
• Hierarchies and Compositions
• Denotations and Computations
• Configurations: Contexts and States
• A Crucial Domain and Computing Facet
• Time, Space and Space/Time
• Linguistics
• Pragmatics
• Semantics
• Syntax
• Semiotics
• Further Specification Techniques
• Modularisation
• Automata and Machines
• Concurrency and Temporality
• Petri Nets
• Message and Live Sequence Charts
• Statecharts
• Quantitative Models of Time
• Interpreter and Compiler Definitions
• SAL: Simple Applicative Language
• SIL: Simple Imperative Language
• SMIL: Simple Modular, Imperative Language
• SPIL: Simple Parallel, Imperative Language
• Closing
• Closing.