Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2017Improving the elicitation of delightful context-aware features: A data-based approach
Falcao, Rodrigo
Konferenzbeitrag
2015Crowd out the competition
Groen, Eduard C.
Konferenzbeitrag
2015Crowd out the competition. Gaining market advantage through crowd-based requirements engineering
Groen, Eduard C.
Bericht
2015Evaluation of a systematic approach in variant management for safety-critical systems development
Käßmeyer, Michael; Velasco, David S.; Schurius, Markus
Konferenzbeitrag
2015Evaluation of a systematic approach in variant management for safety-critical systems development
Käßmeyer, Michael; Velasco, David S.; Schurius, Markus
Bericht
2015Incremental development of RBAC-controlled E-marking system using the B method
Al-Hadhrami, Nasser; Aziz, Benjamin; Sardesai, Shantanu; Othmane, Lotfi ben
Konferenzbeitrag
2015The parameterized safety requirements templates
Antonino, Pablo; Trapp, Mario; Barbosa, Paulo; Sousa, Luana
Konferenzbeitrag
2012Providing software product line knowledge to requirements engineers - a template for elicitation instructions
Adam, Sebastian
Konferenzbeitrag
2010Assuring functional safety in automotive software through pattern-based requirements development
Pai, Ganesh J.; Roeser, Andreas
Bericht
2005Formal specification and verification. Structures and techniques
Eschbach, R.
Dissertation
2002Compositional comparison of formal software specifications using transformation systems
Große-Rhode, M.
Zeitschriftenaufsatz
2002XQuery by the book: The IPSI XQuery Demonstrator
Fankhauser, P.; Groh, T.; Overhage, S.
Konferenzbeitrag
2001Role based specification and security analysis of cryptographic protocols using asynchronous product automata
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Bericht
1996Dynamics in information systems: specification, construction, and correctness. An algebraic approach.
Claßen, I.; Löwe, M.; Gogolla, M.
Buch
1996Integrating SCR Requirements into Cleanroom Software Engineering
Bunse, C.; Kamsties, E.
Konferenzbeitrag
1992Compositional specification of parallel time-critical systems
Trescher, J.
Konferenzbeitrag
1990Architecture and functionality of a specification environment for distributed software
Krämer, B.; Schmidt, H.-W.
Konferenzbeitrag