Books

  1. Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science: An EATCS S.)
    Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science: An EATCS S.)
  2. Software Engineering: Specification of Systems and Languages: v. 2 (Texts in Theoretical Computer Science: An EATCS S.)
    Software Engineering: Specification of Systems and Languages: v. 2 (Texts in Theoretical Computer Science: An EATCS S.)
  3. Software Engineering: Domains, Requirements, and Software Design: v. 3 (Texts in Theoretical Computer Science: An EATCS S.)
    Software Engineering: Domains, Requirements, and Software Design: v. 3 (Texts in Theoretical Computer Science: An EATCS S.)
  4. Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, Rissef 2002, Venice, Italy, October 7-11, 2002, Revised Papers (Lecture Notes in Computer Science S.)
    Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, Rissef 2002, Venice, Italy, October 7-11, 2002, Revised Papers (Lecture Notes in Computer Science S.)
  5. Diffusing Software Product and Process Innovations (International Federation for Information Processing)
    Diffusing Software Product and Process Innovations (International Federation for Information Processing)
  6. Testing of Communicating Systems: 16th Ifip International Conference, Testcom 2004, Oxford, UK, March 17-19, 2004., Proceedings (Lecture Notes in Computer Science)
    Testing of Communicating Systems: 16th Ifip International Conference, Testcom 2004, Oxford, UK, March 17-19, 2004., Proceedings (Lecture Notes in Computer Science)
  7. Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers (Lecture Notes in Computer Science S.)
    Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers (Lecture Notes in Computer Science S.)
  8. Foundations of Software Science and Computation Structures: 7th International Conference, Fossacs 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings (Lecture Notes in Computer Science S.)
    Foundations of Software Science and Computation Structures: 7th International Conference, Fossacs 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings (Lecture Notes in Computer Science S.)
  9. Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, Tacas 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings (Lecture Notes in Computer Science S.)
    Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, Tacas 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings (Lecture Notes in Computer Science S.)
  10. OSF DCE Application Development Guide: v. 1
    OSF DCE Application Development Guide: v. 1
  11. Meeting Deadlines in Hard Real-Time Systems: Rate Monotonic Approach
    Meeting Deadlines in Hard Real-Time Systems: Rate Monotonic Approach
  12. Rapid Application Prototyping: The Storyboarding Approach to User Requirements Analysis
    Rapid Application Prototyping: The Storyboarding Approach to User Requirements Analysis
  13. Practical Aspects of Declarative Languages: 6th International Symposium, Padl 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings (Lecture Notes in Computer Science)
    Practical Aspects of Declarative Languages: 6th International Symposium, Padl 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings (Lecture Notes in Computer Science)
  14. Fme 2003 - Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science S.)
    Fme 2003 - Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science S.)
  15. Software Engineering
    Software Engineering
  16. Modern Compiler Implementation in ML: Basic Techniques
    Modern Compiler Implementation in ML: Basic Techniques
  17. Fundamental Approaches to Software Engineering: 7th International Conference, Fase 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004barcelona, Spain, March 29 - April 2, 2004, Proceedings (Lecture Notes in Computer Science S.)
    Fundamental Approaches to Software Engineering: 7th International Conference, Fase 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004barcelona, Spain, March 29 - April 2, 2004, Proceedings (Lecture Notes in Computer Science S.)
  18. Advanced Win32 Programming: Files, Threads, and Process Synchronization
    Advanced Win32 Programming: Files, Threads, and Process Synchronization
  19. Trust Management: Second International Conference, Itrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings (Lecture Notes in Computer Science S.)
    Trust Management: Second International Conference, Itrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings (Lecture Notes in Computer Science S.)
  20. SAP/R3: Basissystem
    SAP/R3: Basissystem
  21. Software Reuse- Methods, Techniques, and Tools: Proceedings of the 8th International Conference (Lecture Notes in Computer Science S.)
    Software Reuse- Methods, Techniques, and Tools: Proceedings of the 8th International Conference (Lecture Notes in Computer Science S.)
  22. Fundamentals of Software Engineering
    Fundamentals of Software Engineering
  23. "Multi Pack Funds Software Engg Pie
    "Multi Pack Funds Software Engg Pie
  24. Multi Pack Oo Sofrware Engg
    Multi Pack Oo Sofrware Engg
  25. Extending Delphi: Components, Wizards, and Add-Ins
    Extending Delphi: Components, Wizards, and Add-Ins
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Average customer rating: Not rated
    		Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
    Dines Bjorner
    Manufacturer: Springer
    ProductGroup: Book
    Binding: Hardcover

    Software DevelopmentSoftware Development | Software Design | Programming | Computers & Internet | Subjects | Books
    GeneralGeneral | Programming | Computers & Internet | Subjects | Books
    GeneralGeneral | Languages & Tools | Programming | Computers & Internet | Subjects | Books
    MethodologyMethodology | Software Engineering | Computer Science | Computers & Internet | Subjects | Books
    GeneralGeneral | Computer Science | Computers & Internet | Subjects | Books
    GeneralGeneral | Software | Computers & Internet | Subjects | Books
    All Amazon UpgradeAll Amazon Upgrade | Amazon Upgrade | Stores | Books
    Computers & InternetComputers & Internet | Amazon Upgrade | Stores | Books
    Qualifying Textbooks - Spring 2007Qualifying Textbooks - Spring 2007 | Stores | Books
    Software DevelopmentSoftware Development | Design & Development | Software Books | Custom Stores | Stores | Software
    GeneralGeneral | Software Books | Custom Stores | Stores | Software
    ASIN: 3540211497

    Book Description

    The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references. These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides.

    Books:

    1. Hardware/Software Co-Design: Principles and Practice
    2. Dr. Dobb's Java Development Tools and Techniques (Programmer's Resource)
    3. Successful Evolution of Software Systems (Software Engineering S.)
    4. Embedded Software: First International Workshop, Emsoft 2001, Tahoe City, Ca, USA, October 8-10, 2001. Proceedings: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001 - Proceedings (Lecture Notes in Computer Science)
    5. Software Evolution and Reuse (Research Reports ESPRIT: Project 9809 SER)
    6. Writing Mobile Code: Essential Software Engineering for Building Mobile Applications
    7. SDL '97: Time for Testing - SDL, MSC and Trends - Proceedings of the 8th SDL Forum, Evry, France, 23-26 September, 1997
    8. Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science: An EATCS S.)
    9. "Multi Pack Oo Software Engg
    10. Visual Basic for Testers

    Books