Tags
Language
Tags
May 2024
Su Mo Tu We Th Fr Sa
28 29 30 1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31 1

Relating Software Requirements and Architectures

Posted By: AvaxGenius
Relating Software Requirements and Architectures

Relating Software Requirements and Architectures by Paris Avgeriou, John Grundy, Jon G. Hall, Patricia Lago, Ivan Mistrík
English | PDF (True) | 2011 | 395 Pages | ISBN : 3642210007 | 11.15 MB

Why have a book about the relation between requirements and software architecture? Understanding the relation between requirements and architecture is important because the requirements, be they explicit or implicit, represent the function, whereas the architecture determines the form. While changes to a set of requirements may impact on the realization of the architecture, choices made for an architectural solution may impact on requirements, e.g., in terms of revising functional or non-functional requirements that cannot actually be met.

A Primer in Petri Net Design

Posted By: AvaxGenius
A Primer in Petri Net Design

A Primer in Petri Net Design by Wolfgang Reisig
English | PDF | 1992 | 124 Pages | ISBN : 3642753310 | 9.7 MB

Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific systems, where systems are understood very generally as "organizational systems" in which regulatedflows of objects and information are significant. The models are interrelated in the sense that they have common interpretation patterns: together they can be understood as a method for specifying any given system or any section of such a system to any given degree of refinement. The simple and immediately understandable principles of system modelling with nets makes it possible to provide an illustrated description of this method without going into the mathematics behind it. The text is based on courses the author developed for project engineers and project managers in the area of embedded computer systems.

Requirements-Engineering systematisch: Modellbildung für softwaregestützte Systeme

Posted By: AvaxGenius
Requirements-Engineering systematisch: Modellbildung für softwaregestützte Systeme

Requirements-Engineering systematisch: Modellbildung für softwaregestützte Systeme by Helmuth A. Partsch
Deutsch | PDF | 2010 | 402 Pages | ISBN : 3642053572 | 3.6 MB

Requirements-Engineering befasst sich mit Vorgehensweisen zur Präzisierung der Problemstellung am Beginn einer Systementwicklung. Es ist eine Teildisziplin im Grenzbereich zwischen Informatik, Systems Engineering und Anwendungswissenschaften.

Rationale-Based Software Engineering

Posted By: AvaxGenius
Rationale-Based Software Engineering

Rationale-Based Software Engineering by Janet E. Burge
English | PDF | 2008 | 331 Pages | ISBN : 354077582X | 4.6 MB

Many decisions are required throughout the software development process. These decisions, and to some extent the decision-making process itself, can best be documented as the rationale for the system, which will reveal not only what was done during development but the reasons behind the choices made and alternatives considered and rejected.

Domain Science and Engineering: A Foundation for Software Development

Posted By: AvaxGenius
Domain Science and Engineering: A Foundation for Software Development

Domain Science and Engineering: A Foundation for Software Development by Dines Bjørner
English | PDF | 2021 | 403 Pages | ISBN : 3030734838 | 4.6 MB

In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design specifications as mathematical quantities.

Software Engineering 3: Domains, Requirements, and Software Design

Posted By: AvaxGenius
Software Engineering 3: Domains, Requirements, and Software Design

Software Engineering 3: Domains, Requirements, and Software Design by Dines Bjøner
English | PDF (True)| 2006 | 775 Pages | ISBN : 3540211519 | 7.8 MB

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.