Software Engineering 2~tqw~ darksiderg

• Torrent:
  Software Engineering 2~tqw~ darksiderg
• Change name:
  You need to register
• Category:
  Other / Books
• Change cat.:
  You need to register
• Private Client:
  Hide your personal activity while downloading torrents with TorrentPrivacy.com
• Size:
  40 MB
• Seeds/Leechs:
  3/1 Check it now
• Added:
  06/16/2008
• Last check:
  2009-11-14 17:13:16
• Tracker:
  http://www.h33t.com:3310
• Comments:
  *******************************************************************************<br /> Software Engineering 2<br /> *******************************************************************************<br /> <br /> -------------------------------------------------------------------------------<br /> General Information<br /> -------------------------------------------------------------------------------<br /> Type.................: Ebook<br /> Part Size............: 41,719,708 bytes<br /> <br /> <br /> <br /> <br /> -------------------------------------------------------------------------------<br /> Post Information<br /> -------------------------------------------------------------------------------<br /> Posted by............: ~tqw~<br /> <br /> -------------------------------------------------------------------------------<br /> Release Notes<br /> -------------------------------------------------------------------------------<br /> The art, craft, discipline, logic, practice and science of developing large-<br /> scale software products needs a professional base. The textbooks in this three-<br /> volume set combine informal, engineeringly sound approaches with the rigor of <br /> formal, mathematics-based approaches.<br /> <br /> This volume covers the basic principles and techniques of specifying systems and <br /> languages. It deals with modeling the semiotics (pragmatics, semantics and <br /> syntax of systems and languages), modeling spatial and simple temporal <br /> phenomena, and such specialized topics as modularity (incl. UML class diagrams), <br /> Petri nets, live sequence charts, statecharts, and temporal logics, including <br /> the duration calculus. Finally, the book presents techniques for interpreter and <br /> compiler development of functional, imperative, modular and parallel programming <br /> languages.<br /> <br /> This book is targeted at late undergraduate to early graduate university <br /> students, and researchers of programming methodologies. Vol. 1 of this series is <br /> a prerequisite text. <br /> <br /> Table Of Contents<br /> <br /> PREFACE VII<br /> Part I OPENING<br /> 1 Introduction 3<br /> Part II SPECIFICATION FACETS<br /> 2 Hierarchies and Compositions 35<br /> 3 Denotations and Computations 55<br /> 4 Configurations: Contexts and States 93<br /> Part III A CRUCIAL DOMAIN A N D COMPUTING FACET<br /> 5 Time, Space and Space/Time 121<br /> Part IV LINGUISTICS<br /> 6 Pragmatics 145<br /> 7 Semantics 151<br /> 8 Syntax 173<br /> 9 Semiotics 213<br /> Part V FURTHER SPECIFICATION TECHNIQUES<br /> 10 Modularisation 243<br /> 11 Automata and Machines 285<br /> Part VI CONCURRENCY AND TEMPORALITY<br /> 12 Petri Nets 315<br /> 13 Message and Live Sequence Charts 375<br /> 14 Statecharts 475<br /> 15 Quantitative Models of Time 517<br /> Part VII INTERPRETER AND COMPILER DEFINITIONS<br /> 16 SAL: Simple Applicative Language 573<br /> 17 SIL: Simple Imperative Language 659<br /> 18 SMIL: Simple Modular, Imperative Language 671<br /> 19 SPIL: Simple Parallel, Imperative Language 681<br /> Part VIII CLOSING<br /> 20 Closing 709<br /> Part IX APPENDIXES<br /> A Naming Convention 717<br /> B Indexes 721<br /> References 751<br /> <br /> Product Details<br /> <br /> * ISBN: 3540211500<br /> * ISBN-13: 9783540211501<br /> * Format: Hardcover, 777pp<br /> * Publisher: Springer-Verlag New York, LLC<br /> * Pub. Date: May 2005<br /> <br /> -------------------------------------------------------------------------------<br /> Install Notes<br /> -------------------------------------------------------------------------------<br /> PDF Reader
• Change comment:
  You need to register
• Alternative download:
  Software Engineering 2~tqw~ darksiderg might also be available on Usenet. Get the UseNet Client - Highspeed Access To 300TB of Videos, Games and Music!

Files

File	Size
Software Engineering 2~tqw~_darksiderg.nfo	3.4 KB
Software Engineering 2~tqw~_darksiderg.pdf	40 MB
torrent.torrent	25.6 KB
tracked_by_h33t_com.txt	0 KB

Related torrents