Hochschulschrift
Product-line specification and verification with feature-oriented contracts
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Magdeburg, Universität, Diss., 2015
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Magdeburg
- (who)
-
Universitätsbibliothek
- (when)
-
2015
- Creator
-
Thüm, Thomas
- Contributor
-
Saake, Gunter
- URN
-
urn:nbn:de:gbv:ma9:1-5915
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:29 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Thüm, Thomas
- Saake, Gunter
- Universitätsbibliothek
Time of origin
- 2015
Other Objects (12)
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification and verification of object oriented software components
Modular specification and verification of object oriented programs
Practice-Oriented Authorship Verification
Process theory: semantics, specification and verification
Specification and verification of concurrent systems
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics
Specification-oriented semantics for communicating processes
Object oriented specification of distributed systems
Formal specification and verification : structures and techniques
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification and verification of object oriented software components
Modular specification and verification of object oriented programs
Practice-Oriented Authorship Verification
Process theory: semantics, specification and verification
Specification and verification of concurrent systems
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics
Specification-oriented semantics for communicating processes
Object oriented specification of distributed systems
Formal specification and verification : structures and techniques
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification and verification of object oriented software components
Modular specification and verification of object oriented programs
Practice-Oriented Authorship Verification
Process theory: semantics, specification and verification
Specification and verification of concurrent systems
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics
Specification-oriented semantics for communicating processes
Object oriented specification of distributed systems