𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Specification of Systems and Languages

✍ Scribed by Bjorner

Year
2006
Tongue
English
Leaves
783
Series
Software Engineering 2
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

Vol. 1: Abstraction and modelling. -- 2006. -- XXXIX, 711 str. -- Vol. 2: Specification of systems and languages. -- 2006. -- XXIV, 777 str. -- Vol. 3: Domains, requirements, and Software design. -- 2006. -- XXX, 766 str.

✦ Table of Contents

Vol. 1: Abstraction and modelling. --
2006. --
XXXIX, 711 str. --
Vol. 2: Specification of systems and languages. --
2006. --
XXIV, 777 str. --
Vol. 3: Domains, requirements, and Software design. --
2006. --
XXX, 766 str.

πŸ“œ SIMILAR VOLUMES

Software Engineering 2: Specification of
πŸ“ Software Engineering 2: Specification of Systems and Languages
✍ Dines BjΓΈrner πŸ“‚ Library πŸ“… 2006 πŸ› Springer 🌐 English

<P>The art, craft, discipline, logic, practice and science of developing large scale software products is in increasing need of a trustworthy, believable and professional base. This book is one of a series of three volumes, devoted to fill this need. This series of strongly related text books combin

Software Engineering 2: Specification of
πŸ“ Software Engineering 2: Specification of Systems and Languages
✍ Dines BjΓΈrner πŸ“‚ Library πŸ“… 2006 πŸ› Springer 🌐 English

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

Languages for System Specification: Sele
πŸ“ Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03
✍ Bernd Steinbach, Thomas Beierlein, Dominik FrΓΆhlich (auth.), Christoph Grimm (ed πŸ“‚ Library πŸ“… 2004 πŸ› Springer US 🌐 English

<p>Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog

Languages for System Specification: Sele
πŸ“ Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL'03 (Chdl Series)
✍ Christoph Grimm πŸ“‚ Library πŸ“… 1996 πŸ› Springer 🌐 English

Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and