Suchergebnisse - PCSL a process control software specification language

1
2
3
4
5
6
7
8
9
10
11
Nächster
[23]

PCSL - a process control software specification language

Ludewig, Jochen

Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2016

E-Book

Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes

Cha, Suhyun (Verfasser)

1. Auflage

Göttingen : sierke VERLAG - Sierke WWS GmbH, 2021

Buch

Evolving software systems

Mens, Tom (Herausgeber)

Berlin : Springer, 2014

Buch

PCSL, a process control software specification language

Ludewig, Jochen

Als Ms. vervielfältigt

Karlsruhe : Kernforschungszentrum Karlsruhe GmbH, 1980

Buch

Specification of software systems

Alagar, Vangalur S.

New York [u.a.] : Springer, 1998

Buch

SpecC : specification language and methodology

Gajski, Daniel D.

Boston [u.a.] : Kluwer, 2000

Buch

Software frameworks and embedded control systems

Pasetti, Alessandro

Berlin [u.a.] : Springer, 2002

Buch

FDL'05 : Eighth International Forum on Specification and Design Languages, Ecole Polytechnique Fédérale de Lausanne, Lausanne, Switzerland, September 27-30, 2005; [proceedings]

FDL (8. : 2005 : Lausanne)

Lausanne : EPFL, 2005

Buch

Systematic design of distributed industrial manufacturing control systems

Hirsch, Martin

Berlin : Logos-Verl., 2010

Buch

Modular specification and verification of object-oriented programs

Müller, Peter

Berlin [u.a.] : Springer, 2002

Buch

Ontologies for software engineering and software technology : with 46 tables

Calero, Coral (Herausgeber)

Berlin : Springer, 2006

Buch

Formal specification and development in Z and B : proceedings

Bert, Didier (Herausgeber)

Berlin : Springer, 2002

Buch

Model-driven software development : with 5 tables

Beydeda, Sami (Herausgeber)

Berlin : Springer, 2005

Buch

Ninth International Forum on Specification and Design Languages : Darmstadt University, Germany, September 19 - 22, 2006 ; an ECSI event ; [proceedings]

FDL (9 : 2006 : Darmstadt)

Darmstadt : Techn. Univ., 2006

Buch

Software development on a leash

Birmingham, David C.

Berkeley, Calif. : Apress, 2002

Buch

B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Julliand, Jacques (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Invasive software composition : with 9 tables

Aßmann, Uwe

Berlin [u.a.] : Springer, 2003

Buch

Formal specification and development in Z and B : proceedings

Bowen, Jonathan P. (Herausgeber)

Berlin : Springer, 2000

Buch

Software Engineering 2011 - Workshopband : (inkl. Doktorandensymposium) ; Fachtagung des GI-Fachbereichs Softwaretechnik, 21. - 25. Februar 2011 in Karlsruhe ; [SE 2011; Dritter Workshop zu "Design for Future - Langlebige Softwaresysteme", Zweiter Workshop zur Zukunft der Entwicklung Softwareintensiver, Eingebetteter Systeme (ENVISION 2020), Workshop "Evolutionäre Software- und Systementwicklung - Methoden und Erfahrungen" (ESoSyM-2011), Workshop "IT-Unterstützung von Einsatz- und Rettungskräften: Interdisziplinäre Anforderungsanalyse, Architekturen und Gestaltungskonzepte", Workshop "Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation" (PIK 2011), Doktorandensymposium]

Reussner, Ralf (Herausgeber)

Bonn : Ges. für Informatik, 2011

Buch

Proceedings / FDL '03, Forum on Specification & Design Languages : September 23 - 26, 2003, Casino of Campus Westend, University of Frankfurt, Germany

FDL (2003 : Frankfurt, Main)

Frankfurt, Main, 2003

Buch

1
2
3
4
5
6
7
8
9
10
11
Nächster
[23]

Treffer 1 - 20 von 445

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken