Hochschulschrift
An integrated formal task specification method for smart environments
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832529482
3832529489
- Maße
-
21 cm
- Umfang
-
XV, 210 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Zugl.: Rostock, Univ., Diss., 2011
- Schlagwort
-
Ambient Intelligence
Mensch-Maschine-Kommunikation
Aufgabenanalyse
Kontextbezogenes System
Benutzerorientierung
Requirements engineering
Modellgetriebene Entwicklung
Entwurfssprache
Verfeinerung
Formale Spezifikationstechnik
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:57 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Wurdel, Maik
- Logos-Verl.
Entstanden
- 2011
Ähnliche Objekte (12)
An Integrated Formal Task Specification Method for Smart Environments
A formal specification framework for smart grid components
Smart learning environments
Smart Learning Environments
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings
The formal specification language mCRL2
An Integrated Formal Task Specification Method for Smart Environments
A formal specification framework for smart grid components
Smart learning environments
Smart Learning Environments
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings
The formal specification language mCRL2
An Integrated Formal Task Specification Method for Smart Environments
A formal specification framework for smart grid components
Smart learning environments
Smart Learning Environments
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings