libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

hommel g. (curatore); krönig d. (curatore) - requirements engineering

Requirements Engineering Arbeitstagung der GI, Friedrichshafen, 12–14 Oktober 1983

;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
55,98 €
NICEPRICE
53,18 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Tedesco
Editore:

Springer

Pubblicazione: 10/1983





Trama

Die Arbeitstagung "Requirements Engineering für die Automatisierung von Systemen" wird vom Fachausschuß 4.3 "Requirements Engineering" der Gesellschaft für Informatik in Zusammenarbeit mit der Fachgruppe 4.4.1 "Systematisches Entwerfen von PDV-Systemen", einer gemeinsamen Fach­ gruppe von GI und VDI/VDE-GMR, und mit dem Fachausschuß 4.2 "Rechner­ gestütztes Entwerfen und Projektieren (CAE)" veranstaltet. Unter Requirements Engineering wird hier die ingenieurmäßige Ermitt­ lung der Anforderungen an die Automatisierung eines Systems und ihrer Aufarbeitung zur Realisierung in Hardware und Software verstanden. Es ist das erste Mal im deutschsprachigen Raum, daß speziell zu die­ sem Thema eine Tagung veranstaltet wird. Dies scheint gerechtfertigt durch das international zunehmende Interesse an dieser Problematik, welches offensichtlich aus den erheblichen Schwierigkeiten resultiert, die in der Praxis bei der Bewältigung dieser Aufgabe auftreten. Die Aufgabe wird häufig mit projektbezogenen Verfahren angegangen. Andererseits gibt es aber bereits theoretische Methoden zur systema­ tischen Anforderungserschließung, deren Einsatz in der industriellen Praxis jedoch noch Schwierigkeiten bereitet. In dieser Situation will die Arbeitstagung den Erfahrungsaustausch zwischen Theorie und Praxis fördern. Der Programmausschuß hat sich bemüht, unter den Vortragsan­ meldungen die Auswahl so zu treffen, daß einerseits der Stand der Tech­ nik und die vorliegenden Erfahrungen und andererseits Ansätze für zu­ künftige Entwicklungen in diesem Bereich erkennbar sind.




Sommario

Methoden.- Requirements – einmal anders betrachtet.- Zielgerichtetes und regelgesteuertes Problemlösen mit der Requirements-Engineering Methodologie IBIS.- System Design Using Petri Nets.- Abstract Data Types as a Tool for Requirement Engineering.- Erfahrungen.- Erfahrungen mit Programm-Prototypen.- Drei Jahre SADT bei SCS: Blick zurück ohne Zorn.- Requirements Engineering in S/E/TEC.- Erstellung von Anforderungsspezifikationen für Automatisierungssysteme mit EPOS — Eigenschaften and Erfahrungen.- Erfahrungen beim Einsatz des Spezifikationssystems ESPRESO.- Erfahrungen mit Modellbildung, Entwurf and Dokumentation von rechnergestützten Leitsystemen im Verkehrsbereich.- Verfahren.- On the Use of Algebraic Methods for Formal Requirements Definitions.- Systematische Aufgabenklärung am Beispiel Software.- Prolog als Spezifikations- and Modellierungswerkzeug.- Entwicklung von Proze?informationssystemen — ein Lernproze? für Entwickler and Anwender.- Beschreibungsmittel.- Anforderungsbeschreibung and Simulation mit Net-Modellen.- Anforderungsmodellierung für Realzeitsysteme — Ansätze zur Bewältigung von Komplexität and von Unschärfe.- Benutzernahe Anforderungsanalyse mit SARS.- Real Time in Distributed Real Time Systems.










Altre Informazioni

ISBN:

9783540126928

Condizione: Nuovo
Collana: Informatik-Fachberichte
Dimensioni: 244 x 170 mm
Formato: Brossura
Illustration Notes:VIII, 248 S. 1 Abb.
Pagine Arabe: 248
Pagine Romane: viii


Dicono di noi