Cargando…
Design methods for reactive systems : Yourdan, Statemate, and the UML /
Design Methods for Reactive Systems describes methods and techniques for the design of software systemsparticularly reactive software systems that engage in stimulus-response behavior. Such systems, which include information systems, workflow management systems, systems for e-commerce, production co...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boston :
Morgan Kaufmann Publishers,
2003.
|
| Colección: | Morgan Kaufmann Series in Software Engineering and Programming.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocm52619006 | ||
| 003 | OCoLC | ||
| 005 | 20231117015026.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 030716s2003 maua ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d TNF |d OCLCQ |d COO |d B24X7 |d NTG |d BMU |d OPELS |d OKU |d CDX |d IDEBK |d EBLCP |d OCLCO |d UBY |d E7B |d OCLCQ |d OCLCF |d OCLCQ |d OCLCE |d OCLCQ |d DEBSZ |d OCLCQ |d AZK |d PIFBR |d OCLCQ |d WY@ |d LUE |d OCLCQ |d STF |d D6H |d INT |d OCLCQ |d LEAUB |d OL$ |d UKBTH |d OCLCQ |d VT2 |d LUN |d BRF |d OCLCO |d EYM |d UKEHC |d SNU |d OCLCQ |d COM |d OCLCO |d OCLCQ |d COA |d INARC |d OCLCO | ||
| 019 | |a 55234152 |a 62881445 |a 162596223 |a 171131846 |a 232311883 |a 505121415 |a 606020885 |a 606923444 |a 648266362 |a 856952190 |a 961570559 |a 962701770 |a 991963251 |a 1013767897 |a 1035653054 |a 1039533294 |a 1053056681 |a 1060193307 |a 1086505357 |a 1112853737 |a 1112950409 |a 1156360131 |a 1159640002 |a 1194787542 |a 1200073598 |a 1204036958 |a 1340105442 |a 1391393480 | ||
| 020 | |a 0585457964 |q (electronic bk.) | ||
| 020 | |a 9780585457963 |q (electronic bk.) | ||
| 020 | |a 9781558607552 | ||
| 020 | |a 1558607552 | ||
| 020 | |a 0080503950 |q (electronic bk.) | ||
| 020 | |a 9780080503950 | ||
| 020 | |a 9786611028572 | ||
| 020 | |a 6611028579 | ||
| 020 | |a 1281028576 | ||
| 020 | |a 9781281028570 | ||
| 020 | |z 9780585457964 | ||
| 024 | 8 | |a (WaSeSS)ssj0000137238 | |
| 035 | |a (OCoLC)52619006 |z (OCoLC)55234152 |z (OCoLC)62881445 |z (OCoLC)162596223 |z (OCoLC)171131846 |z (OCoLC)232311883 |z (OCoLC)505121415 |z (OCoLC)606020885 |z (OCoLC)606923444 |z (OCoLC)648266362 |z (OCoLC)856952190 |z (OCoLC)961570559 |z (OCoLC)962701770 |z (OCoLC)991963251 |z (OCoLC)1013767897 |z (OCoLC)1035653054 |z (OCoLC)1039533294 |z (OCoLC)1053056681 |z (OCoLC)1060193307 |z (OCoLC)1086505357 |z (OCoLC)1112853737 |z (OCoLC)1112950409 |z (OCoLC)1156360131 |z (OCoLC)1159640002 |z (OCoLC)1194787542 |z (OCoLC)1200073598 |z (OCoLC)1204036958 |z (OCoLC)1340105442 |z (OCoLC)1391393480 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA76.76.D47 |b W525 2003eb | |
| 072 | 7 | |a COM |x 051390 |2 bisacsh | |
| 072 | 7 | |a COM |x 051440 |2 bisacsh | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.1 |2 21 |
| 084 | |a 54.69 |2 bcl | ||
| 084 | |a 54.52 |2 bcl | ||
| 100 | 1 | |a Wieringa, Roel. | |
| 245 | 1 | 0 | |a Design methods for reactive systems : |b Yourdan, Statemate, and the UML / |c R.J. Wieringa. |
| 260 | |a Boston : |b Morgan Kaufmann Publishers, |c 2003. | ||
| 300 | |a 1 online resource (xxv, 457 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 490 | 1 | |a The Morgan Kaufmann Series in Software Engineering and Programming | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Reactive systems -- The environment -- Stimulus-response behavior -- Software specifications -- Mission statement -- Function refinement tree -- Service description -- Entity-relationship diagrams -- ERD modeling guidelines -- The dictionary -- State transition lists and tables -- State transition diagrams -- Behavioral semantics -- Behavior modeling and design guidelines -- Data flow diagrams -- Communication diagrams -- Communication semantics -- Context modeling guidelines -- Requirements-level decomposition guidelines -- Postmodern Structured Analysis (PSA) -- Statemate -- The unified modeling language (UML) -- Not yet another method (NYAM). | |
| 520 | |a Design Methods for Reactive Systems describes methods and techniques for the design of software systemsparticularly reactive software systems that engage in stimulus-response behavior. Such systems, which include information systems, workflow management systems, systems for e-commerce, production control systems, and embedded software, increasingly embody design aspects previously considered alonesuch as complex information processing, non-trivial behavior, and communication between different componentsaspects traditionally treated separately by classic software design methodologies. But, as this book illustrates, the software designer is better served by the ability to intelligently pick and choose from among a variety of techniques according to the particular demands and properties of the system under development. Design Methods for Reactive Systems helps the software designer meet today's increasingly complex challenges by bringing together specification techniques and guidelines proven useful in the design of a wide range of software systems, allowing the designer to evaluate and adapt different techniques for different projects. Written in an exceptionally clear and insightful style, Design Methods for Reactive Systems is a book that students, engineers, teachers, and researchers will undoubtedly find of great value. * Shows how the techniques and design approaches of the three most popular design methods can be combined in a flexible, problem-driven manner. * Pedagogical features include summaries, rehearsal questions, exercises, discussion questions, and numerous case studies, with additional examples on the companion Web site. | ||
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 546 | |a English. | ||
| 650 | 0 | |a Computer software |x Development. | |
| 650 | 0 | |a System design. | |
| 650 | 6 | |a Conception de syst�emes. |0 (CaQQLa)201-0086648 | |
| 650 | 7 | |a COMPUTERS |x Programming |x Open Source. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Tools. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a Computer software |x Development |2 fast |0 (OCoLC)fst00872537 | |
| 650 | 7 | |a System design |2 fast |0 (OCoLC)fst01141401 | |
| 776 | 0 | 8 | |i Print version: |a Wieringa, Roel. |t Design methods for reactive systems. |d Boston : Morgan Kaufmann Publishers, 2003 |z 1558607552 |w (DLC) 2002112068 |w (OCoLC)52203345 |
| 830 | 0 | |a Morgan Kaufmann Series in Software Engineering and Programming. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9781558607552 |z Texto completo |