Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Oktober 1994
Genre:	EDV / Informatik
	Algorithms / datastructures / Design / Development / formalspecification / Language / Natural / Petrinet / Signatur / Software / Software Engineering / Softwaredesign / Softwaredevelopment / Theoretische Informatik / Turing mehr...
ISBN:	9783540199021
EAN-Code:	9783540199021
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 24 mm
Gewicht:	663 gr
Seiten:	440
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process. It examines COLD-1, which is currently being implemented by Philips in many of its business centres. The fact that it is a wide-spectrum language which supports many styles of specification makes it an excellent basis for the volume. It also examines some widely-used informal techniques, such as Venn diagrams and Petri nets, thus creating a strong link between current and future practice. Rather than proposing new pictorial notations the authors place existing ones into a coherent framework, and explain practical ways of exploiting them in conjunction with COLD-1.