The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems von Broy, M.

Volltext

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology von Böhm, Wolfgang, Broy, Manfred, Klein, Cornel, Pohl, Klaus, Rumpe, Bernhard, Schröck, Sebastian

Volltext

Design Thinking for Software Engineering: Creating Human-Oriented Software-intensive Products and Services von Hehn, Jennifer, Mendez, Daniel, Brenner, Walter, Broy, Manfred

Volltext

Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers von Broy, Manfred, Zamulin, Alexandre V

Volltext

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings von Bjørner, Dines, Broy, Manfred, Pottosin, Igor V

Volltext

Professional and Ethical Dilemmas in Software Engineering von Berenbach, B., Broy, M.

Volltext

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers von Bjørner, Dines, Broy, Manfred, Zamulin, Alexandre

Volltext

Can Practitioners Neglect Theory and Theoreticians Neglect Practice? von Broy, M.

Volltext

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings von Bjørner, Dines, Broy, Manfred, Zamulin, Alexandre V

Volltext

Formal Systems Specification: The RPC-Memory Specification Case Study von Broy, Manfred, Merz, Stephan, Spies, Katharina

Volltext

Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments von Broy, Manfred, Feilkas, Martin, Herrmannsdoerfer, Markus, Merenda, Stefano, Ratiu, Daniel

Volltext

Methods of Programming: Selected Papers on the CIP-Project von Broy, Manfred, Wirsing, Martin

Volltext

Requirements Targeting Software and Systems Engineering: International Workshop RTSE '97, Bernried, Germany, October 12-14 1997 von Broy, Manfred, Rumpe, Bernhard

Volltext

Model-Based Testing of Reactive Systems: Advanced Lectures von Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Volltext

Toward a mathematical foundation of software engineering methods von Broy, M.

Volltext

Engineering Automotive Software von Broy, Manfred, Kruger, Ingolf H., Pretschner, Alexander, Salzmann, Christian

Volltext

Requirements targeting software and systems engineering: International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings von Broy, Manfred, Rumpe, Bernhard

Volltext

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings von Bjørner, Dines, Broy, Manfred, Pottosin, Igor V

Volltext

Informatics and Medicine - From Molecules to Populations von Kuhn, K A, Knoll, A, Mewes, H-W, Schwaiger, M, Bode, A, Broy, M, Daniel, H, Feussner, H, Gradinger, R, Hauner, H, Höfler, H, Holzmann, B, Horsch, A, Kemper, A, Krcmar, H, Kochs, E F, Lange, R, Leidl, R, Mansmann, U, Mayr, E W, Meitinger, T, Molls, M, Navab, N, Nüsslin, F, Peschel, C, Reiser, M, Ring, J, Rummeny, E J, Schlichter, J, Schmid, R, Wichmann, H E, Ziegler, S

Volltext

Run-time verification von COLIN, Séverine, MARIANI, Leonardo

Volltext