1.

Record Nr.

UNINA990006666510403321

Autore

Von Mises, Ludwig

Titolo

The ultimate foundation of economic science : an essay on method / by Ludwig von Mises

Pubbl/distr/stampa

Kansas : Sheed Andrews and McMeel, c1978

Descrizione fisica

XIV, 148 p. ; 23 cm

Collana

Studies in economic theory

Disciplina

330.01

Locazione

FSPBC

Collocazione

VI A 1018

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNICAMPANIAVAN0123581

Autore

Pop, Vasile

Titolo

Square Matrices of Order 2 : Theory, Applications, and Problems / Vasile Pop, Ovidiu Furdui ; Foreword by Dennis S. Bernstein

Pubbl/distr/stampa

Cham, : Springer, 2017

Titolo uniforme

Square Matrices of Order 2

Descrizione fisica

xxii, 370 p. : ill. ; 24 cm

Altri autori (Persone)

Furdui, Ovidiu

Soggetti

40A05 - Convergence and divergence of series and sequences [MSC 2020]

40A30 - Convergence and divergence of series and sequences of functions [MSC 2020]

15Axx - Basic linear algebra [MSC 2020]

97I30 - Sequences and series (educational aspects) [MSC 2020]

97I50 - Integral calculus (educational aspects) [MSC 2020]

15Bxx - Special matrices [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



3.

Record Nr.

UNINA9910437569403321

Titolo

Managing requirements knowledge / / Walid Maalej and Anil Kumar Thurimella, editors

Pubbl/distr/stampa

New York, : Springer, 2013

ISBN

3-642-34419-4

Edizione

[1st ed. 2013.]

Descrizione fisica

1 online resource (xv, 398 pages) : illustrations (some color)

Collana

Gale eBooks

Altri autori (Persone)

MaalejWalid

ThurimellaAnil Kumar

Disciplina

005.1

Soggetti

Software engineering

Specifications

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

An Introduction to Requirements Knowledge -- Unpacking Tacit Knowledge for Requirements Engineering -- Mining Requirements Knowledge from Operational Experience -- DUFICE: Guidelines for a Lightweight Management of Requirements Knowledge -- Constructing and Using Software Requirements Patterns -- Using Ontologies and Machine Learning for Hazard Identification and Safety Analysis -- Knowledge-Assisted Ontology-Based Requirements Evolution -- Reusing Requirements in Global Software Engineering -- Performative and Lexical Knowledge Sharing in Agile Requirements -- Using Web 2.0 for Stakeholder Analysis: StakeSource and its Application in Ten Industrial Projects -- Resolving Inconsistency and Incompleteness Issues in Software Requirements -- Automated Verification of Variability Model Using First Order Logic -- Model-based Requirements Engineering Framework for Systems Lifecycle Support -- An Overview of Recommender Systems in Requirements Engineering -- Experience based Requirements Engineering Tools -- The Eclipse Requirements Modeling Framework -- Managing Requirements Knowledge: Conclusion and Outlook.

Sommario/riassunto

Requirements engineering is one of the most complex and at the same time most crucial aspects of software engineering. It typically involves



different stakeholders with different backgrounds. Constant changes in both the problem and the solution domain make the work of the stakeholders extremely dynamic. New problems are discovered, additional information is needed, alternative solutions are proposed, several options are evaluated, and new hands-on experience is gained on a daily basis. The knowledge needed to define and implement requirements is immense, often interdisciplinary and constantly expanding. It typically includes engineering, management and collaboration information, as well as psychological aspects and best practices. This book discusses systematic means for managing requirements knowledge and its owners as valuable assets. It focuses on potentials and benefits of “lightweight,” modern knowledge technologies such as semantic Wikis, machine learning, and recommender systems applied to requirements engineering. The 17 chapters are authored by some of the most renowned researchers in the field, distilling the discussions held over the last five years at the MARK workshop series. They present novel ideas, emerging methodologies, frameworks, tools and key industrial experience in capturing, representing, sharing, and reusing knowledge in requirements engineering. While the book primarily addresses researchers and graduate students, practitioners will also benefit from the reports and approaches presented in this comprehensive work.