Meer dan een miljoen boeken binnen handbereik!
Bookbot

Dines Bjørner

    Software Engineering 3
    Software Engineering 1
    Software engineering 2
    Software engineering 3
    Logics of specification languages
    Software engineering
    • Software engineering

      • 714bladzijden
      • 25 uur lezen
      4,7(3)Tarief

      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 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.

      Software engineering
    • Logics of specification languages

      • 624bladzijden
      • 22 uur lezen
      5,0(1)Tarief

      This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

      Logics of specification languages
    • Software engineering 3

      • 766bladzijden
      • 27 uur lezen
      4,0(1)Tarief

      The development of large-scale software products requires a solid, professional foundation. This three-volume set combines informal practices with rigorous, mathematics-based approaches. Volume 3 emphasizes the importance of understanding the application domain before designing software. It details the process from creating domain descriptions to deriving requirements and refining them into software designs, including architectures and component design. Key topics include crafting proper domain descriptions and requirements, acquiring and analyzing domain knowledge, and validating and verifying models. Readers can choose an informal approach suitable for undergraduate courses or a formal route for advanced students, lecturers, and researchers, with Volume 1 serving as a prerequisite for the latter. Additionally, lecturers will find a comprehensive guide for module design, solutions to many exercises, and a complete set of lecture slides to support their teaching.

      Software engineering 3
    • Software engineering 2

      • 780bladzijden
      • 28 uur lezen

      The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1of this series is a prerequisite text.

      Software engineering 2
    • Software Engineering 1

      Abstraction and Modelling

      • 756bladzijden
      • 27 uur lezen

      Focusing on the development of large-scale software products, this three-volume set merges practical engineering techniques with formal mathematical principles. It emphasizes the importance of a credible and professional foundation in software development, blending art and science to provide a comprehensive understanding of the discipline. The textbooks aim to equip readers with both the theoretical knowledge and practical skills necessary for effective software engineering.

      Software Engineering 1
    • Software Engineering 3

      Domains, Requirements, and Software Design

      • 800bladzijden
      • 28 uur lezen

      Focusing on the comprehensive process of developing large-scale software products, this three-volume set combines practical engineering techniques with formal, mathematics-based methodologies. It emphasizes the importance of a professional foundation in software development, blending art and science to equip readers with both theoretical knowledge and practical skills essential for effective software engineering.

      Software Engineering 3
    • Software Engineering 2

      Specification of Systems and Languages

      • 804bladzijden
      • 29 uur lezen

      Focusing on the comprehensive development of large-scale software products, this three-volume set blends informal, practical methods with rigorous, mathematics-based techniques. It emphasizes the importance of a professional foundation in software engineering, covering various aspects such as art, craft, discipline, and logic. This unique combination aims to equip readers with both theoretical knowledge and practical skills necessary for effective software development.

      Software Engineering 2
    • Domain Science and Engineering

      A Foundation for Software Development

      • 420bladzijden
      • 15 uur lezen

      Focusing on domain engineering, the author explores its scientific foundations and illustrates how to extract requirements for computing systems from domain descriptions. The book emphasizes the representation of domain descriptions, requirements prescriptions, and software design specifications as mathematical quantities, providing a structured approach to understanding and developing computing systems.

      Domain Science and Engineering
    • The aim of Partial Evaluation and Mixed Computation is to construct, when given a program and some form of restriction on its usage (e.g. knowledge of some but not all of its input parameter values), a more efficient new or residual'' program that is equivalent to the original program when used according to the restriction. Compiling and compiler generation are just two of the many applications. It is thus a form of program transformation, but with more emphasis on purely automatic methods than traditional program transformation. This volume collects a variety of examples of current work in the field. The papers demonstrate the vitality of this emerging area with contributions covering many different aspects, such as programming languages, application areas, degrees of automation, degrees of formality, and technical methods.

      Partial evaluation and mixed computation
    • Perspectives of system informatics

      • 447bladzijden
      • 16 uur lezen

      This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.

      Perspectives of system informatics