Software Engineering 2
By:Dines Bjørner
Published on 2007-08-01 by Springer Science & Business Media
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 principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.
This Book was ranked at 41 by Google Books for keyword engineering book.
Book ID of Software Engineering 2's Books is tVBBAAAAQBAJ, Book which was written byDines Bjørnerhave ETAG "junucAD9p2w"
Book which was published by Springer Science & Business Media since 2007-08-01 have ISBNs, ISBN 13 Code is 9783540331933 and ISBN 10 Code is 354033193X
Reading Mode in Text Status is false and Reading Mode in Image Status is true
Book which have "780 Pages" is Printed at BOOK under CategoryComputers
This Book was rated by Raters and have average rate at ""
This eBook Maturity (Adult Book) status is NOT_MATURE
Book was written in en
eBook Version Availability Status at PDF is true and in ePub is false
Book Preview
