Cargando…
SDL '95 with MSC in CASE : proceedings of the Seventh SDL Forum, Oslo, Norway, 26-29 September 1995 /
Message Sequence Charts (MSC) have had an unanticipated success, both with SDL, on its own and in conjunction with other methods and tools. Major tool vendors now offer both SDL and MSC in their tool set. This timely volume reports on the recent developments in this expanding field. Several papers d...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York :
Elsevier,
1995.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn747329860 | ||
| 003 | OCoLC | ||
| 005 | 20231117044618.0 | ||
| 006 | m o d | ||
| 007 | cr bn||||||abp | ||
| 007 | cr bn||||||ada | ||
| 008 | 110819s1995 ne a ob 101 0 eng d | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OPELS |d OCLCO |d OCLCF |d E7B |d N$T |d OCLCQ |d UIU |d OCLCO |d OCL |d OCLCO |d OCLCQ |d YDXCP |d OCLCQ |d LEAUB |d OCLCQ |d LUN |d OCLCQ |d COM |d OCLCO |d OCLCQ | ||
| 019 | |a 834623331 |a 987693012 | ||
| 020 | |a 9780444598646 |q (electronic bk.) | ||
| 020 | |a 0444598642 |q (electronic bk.) | ||
| 020 | |z 0444822690 | ||
| 020 | |z 9780444822697 | ||
| 035 | |a (OCoLC)747329860 |z (OCoLC)834623331 |z (OCoLC)987693012 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA76.73.S35 |b S35 1995 | |
| 072 | 7 | |a COM |x 051310 |2 bisacsh | |
| 072 | 7 | |a COM |x 051280 |2 bisacsh | |
| 072 | 7 | |a COM |x 051130 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.13/3 |2 20 |
| 084 | |a 54.53 |2 bcl | ||
| 084 | |a DAT 300f |2 stub | ||
| 111 | 2 | |a SDL Forum |n (7th : |d 1995 : |c Oslo, Norway) | |
| 245 | 1 | 0 | |a SDL '95 with MSC in CASE : |b proceedings of the Seventh SDL Forum, Oslo, Norway, 26-29 September 1995 / |c edited by Rolv Br�k, Amardeo Sarma. |
| 260 | |a Amsterdam ; |a New York : |b Elsevier, |c 1995. | ||
| 300 | |a 1 online resource (xi, 400 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 | ||
| 504 | |a Includes bibliographical references and index. | ||
| 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 2011. |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 2011 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 520 | |a Message Sequence Charts (MSC) have had an unanticipated success, both with SDL, on its own and in conjunction with other methods and tools. Major tool vendors now offer both SDL and MSC in their tool set. This timely volume reports on the recent developments in this expanding field. Several papers deal with language issues, tools and methods for effective use of MSC. Advances in "SDL technology" are discussed, and several papers deal with the early stages of product development and how SDL may be complemented by other methods, such as OMT, to improve problem understanding and make better SDL designs. New developments in the areas of tools for verification, validation and testing are also included, together with a large number of papers on applications. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a SDL (Computer program language) |v Congresses. | |
| 650 | 0 | |a Computer-aided software engineering |v Congresses. | |
| 650 | 6 | |a SDL (Langage de programmation) |0 (CaQQLa)201-0360590 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 6 | |a Conception assist�ee par ordinateur en g�enie logiciel |0 (CaQQLa)201-0193252 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x C� |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x Java. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x Pascal. |2 bisacsh | |
| 650 | 7 | |a Computer-aided software engineering. |2 fast |0 (OCoLC)fst00872722 | |
| 650 | 7 | |a SDL (Computer program language) |2 fast |0 (OCoLC)fst01102791 | |
| 653 | 0 | |a Telecommunication | |
| 655 | 2 | |a Congress |0 (DNLM)D016423 | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft | |
| 655 | 7 | |a Actes de congr�es. |2 rvmgf |0 (CaQQLa)RVMGF-000001049 | |
| 700 | 1 | |a Br�k, Rolv. | |
| 700 | 1 | |a Sarma, Amardeo. | |
| 776 | 0 | 8 | |i Print version: |w (DLC) 95035583 |w (OCoLC)32922077 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444822697 |z Texto completo |