Search results for “[Subject: computers-software]”

• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverIn this book the author explains domain engineering and the underlying science, and he then shows how we can derive re...

• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringThis well written first volume covers the basic principles and techniques of abstraction and modeling. It starts by providing the reader w...

• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringThis third volume examines the basic principles and techniques of overall software development, from domains via requirements to software ...

• Author(s): Dines Bjørner | Cliff Jones | Michael Mac an Airchinnigh • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - General

• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringThis third volume examines the basic principles and techniques of overall software development, from domains via requirements to software ...

• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringThis well written first volume covers the basic principles and techniques of abstraction and modeling. It starts by providing the reader w...

• Author(s): Dines Bjørner | Manfred Broy | Alexandre Zamulin • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralThis book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Confe...