Hochschulschrift
Ein formaler Rahmen zur Beschreibung von Kollaborationssituationen im Softwareentwicklungsprozess : Umgebungsparameter als Auswahlkriterien für CSCW-Werkzeuge
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Karlsruhe, Univ., Diss., 2009
- Classification
-
Management
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
KIT-Bibliothek
- (when)
-
2009
- Creator
-
Behm, Astrid
- Contributor
-
Stucky, W.
- URN
-
urn:nbn:de:swb:90-118626
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:55 PM CET
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
- Behm, Astrid
- Stucky, W.
- KIT-Bibliothek
Time of origin
- 2009
Other Objects (12)
Methoden und Werkzeuge zum Einsatz von rekonfigurierbaren Akzeleratoren in Mehrkernsystemen
Formal Foundations for Anonymous Communication
Ein Kalkül für die Formale Schaltungssynthese
Applied Formal Methods in Wireless Sensor Networks
Formal Specification and Verification for Automated Production Systems
Formal Verification of Industrial Software and Neural Networks
Elektrochemische Untersuchungen an Caesiumoxid und Alkalimetallhydroxiden im Rahmen eines Hybridverfahrens zur Wasserstofferzeugung
Entwicklung von optischen Systemen für die kombinatorische Materialablagerung und die großflächige Detektion im Rahmen von Hochdurchsatzverfahren
Grafische Realzeitunterstuetzung fuer Fernhandhabungsvorgaenge in komplexen Arbeitsumgebungen im Rahmen eines Systems zur Steuerung, Simulation und Off-Line- Programmierung
Mentale und formale Modellbildung in der Produktentstehung - als Beitrag zum integrierten Produktentstehungs-Modell (iPeM). Mental and formal modelling, a contribution to the integratet product development model (iPeM)
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Werkzeug- und Prozessentwicklung des Roll-to-Roll-Hochdurchsatzverfahrens zur kontinuierlichen, großflächigen Mikrostrukturierung
Methoden und Werkzeuge zum Einsatz von rekonfigurierbaren Akzeleratoren in Mehrkernsystemen
Formal Foundations for Anonymous Communication
Ein Kalkül für die Formale Schaltungssynthese
Applied Formal Methods in Wireless Sensor Networks
Formal Specification and Verification for Automated Production Systems
Formal Verification of Industrial Software and Neural Networks
Elektrochemische Untersuchungen an Caesiumoxid und Alkalimetallhydroxiden im Rahmen eines Hybridverfahrens zur Wasserstofferzeugung
Entwicklung von optischen Systemen für die kombinatorische Materialablagerung und die großflächige Detektion im Rahmen von Hochdurchsatzverfahren
Grafische Realzeitunterstuetzung fuer Fernhandhabungsvorgaenge in komplexen Arbeitsumgebungen im Rahmen eines Systems zur Steuerung, Simulation und Off-Line- Programmierung
Mentale und formale Modellbildung in der Produktentstehung - als Beitrag zum integrierten Produktentstehungs-Modell (iPeM). Mental and formal modelling, a contribution to the integratet product development model (iPeM)
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Werkzeug- und Prozessentwicklung des Roll-to-Roll-Hochdurchsatzverfahrens zur kontinuierlichen, großflächigen Mikrostrukturierung
Methoden und Werkzeuge zum Einsatz von rekonfigurierbaren Akzeleratoren in Mehrkernsystemen
Formal Foundations for Anonymous Communication
Ein Kalkül für die Formale Schaltungssynthese
Applied Formal Methods in Wireless Sensor Networks
Formal Specification and Verification for Automated Production Systems
Formal Verification of Industrial Software and Neural Networks
Elektrochemische Untersuchungen an Caesiumoxid und Alkalimetallhydroxiden im Rahmen eines Hybridverfahrens zur Wasserstofferzeugung
Entwicklung von optischen Systemen für die kombinatorische Materialablagerung und die großflächige Detektion im Rahmen von Hochdurchsatzverfahren
Grafische Realzeitunterstuetzung fuer Fernhandhabungsvorgaenge in komplexen Arbeitsumgebungen im Rahmen eines Systems zur Steuerung, Simulation und Off-Line- Programmierung
Mentale und formale Modellbildung in der Produktentstehung - als Beitrag zum integrierten Produktentstehungs-Modell (iPeM). Mental and formal modelling, a contribution to the integratet product development model (iPeM)
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment