Worldwide Series in Computer Science - Böcker
Visar alla böcker i serien Worldwide Series in Computer Science. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
805 kr
Skickas inom 7-10 vardagar
The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables specifications and designs to be clearly expressed and understood, together with a supporting theory which allows them to be analyzed and shown to be correct. This book supports advanced level courses on concurrency covering timed and untimed CSP. The first half introduces the language of CSP, the primary semantic models (traces, failures, divergences and infinite traces), and their use in the modelling, analysis and verification of concurrent systems. The second half of the book introduces time into the language, brings in the timed semantic model (timed failures) and finally presents the theory of timewise refinement which links the two halves together. Accompanying website: http://www.cs.rhbnc.ac.uk/books/concurrency Containing the following: -Exercises and solutions -Instructors resources - Example CSP programs to run on FDR and ProBe -Links to useful sites Partial Contents: Part I: The Language of CSP; Sequential Processes; Concurrency; Abstraction and Control Flow; Part II: Analyzing Processes; Traces; Specification and Verification with Traces; Stable Failures; Specification and Verification with Failures; Failures, Divergences, and Infinite Traces; Part III: Introducing Time; The Timed Language; Timed transition systems; Part IV: Timed Analysis; Semantics of Timed CSP; Timed Specification and Verification; Timewise Refinement; Appendix A: Event-based Time; A.1 Standard CSP and $tock$; A.2 Translating from Timed CSP; A.3 Notes; Appendix B: Model-checking with FDR; B.1 Interacting with FDR; B.2 How FDR Checks Refinement; B.3 Machine readable CSP; Index of Processes.
Del 10 - Worldwide Series in Computer Science
Requirements Engineering
Processes and Techniques
Inbunden, Engelska, 1998
846 kr
Skickas inom 7-10 vardagar
The value of introducing requirements engineering to trainee software engineers is to equip them for the real world of software and systems development. As a discipline, newly emerging from software engineering, there are a range of views on where requirements engineering starts and finishes and what it should encompass. This book offers the most comprehensive coverage of the requirements engineering process to date - from initial requirements elicitation through to requirements validation. As there is no one catch-all technique applicable to all types of system, requirements engineers need to know about a range of different techniques. Tried and tested techniques such as data-flow and object-oriented models are covered as well as some promising new ones. They are all based on real systems descriptions to demonstrate the applicability of the approach. Principally written for senior undergraduate and graduate students studying computer science, software engineering or systems engineering, this text will also be helpful for those in industry new to requirements engineering.Accompanying Website: http: //www.comp.lancs.ac.uk/computing/resources/re
805 kr
Skickas inom 7-10 vardagar
Hypermedia (often used just as Hypertext is - but in this book taken to include multimedia as well as textual online information) is a term which describes the form and structure of online information and in particular the innate characteristic of linking electronic data.The online world offered through the Web is marred by the chaos which underlies it. At the very early stages of understanding how to harness the power of this new medium, electronic document creators, managers and researchers often spend time on technology innovations at the expense of adopting the sound engineeirng principles which have paid such dividends in the software industry.Hypermedia and the Web approaches interactive information (concentrating on hypertext documents) as a structure requiring management, quantification and documentation. From analysing the purpose for which a website, CD-ROM or online archive is created and assessing the characteristics and resources needed for the process of building it, to the evaluation of the product itself, this book attempts to carve out features that are essential to structuring information in an electronic environment.Suitable for students on graduate computer science coursesElectronic Publishing, Multimedia and other online related courses. Will also be of great interest to Web Development Managers and Consultants concerned with maintainability of Websites and large electronic document archives.
805 kr
Skickas inom 7-10 vardagar
Scripting languages have taken over from object-oriented languages as flavour of the decade, mainly because of the power and flexibility they provide (even for non-expert programmers) for developing graphical user interfaces. Scripting languages are the basis of technologies on the World Wide Web, and office software suites such as Microsoft Office also rely heavily on them. This is the first book to survey a variety of the most important scripting languages, illustrating their use in a wide variety of application domains.Suitable for Computer Science students taking courses on Scripting Languages, or Programming Language survey courses that emphasise Scripting languages. In addition, programmers and software engineers wishing to broaden their experience of modern programming languages, and techniques for user interface design.