本文に飛ぶ

年 〜
年

検索結果 45 件

Software system reliability and security

Software system reliability and security
紙図書
edited by Manfred Broy, Johannes Grünbauer and Tony HoareIOS Pressc2007
全国の図書館
  • 著者標目Broy, M. Grünbauer, Johannes Hoare, To...

Model-based testing of reactive systems : advanced lectures

Model-based testing of reactive systems : advanced lectures
紙図書
Manfred Broy ... [et al.] (eds.)Springerc2005
全国の図書館
  • 著者標目Broy, M. Jonsson, Bengt Katoen, Joost-...

Software pioneers : contributions to software engineering : pbk

Software pioneers : contributions to software engineering : pbk
紙図書
Manfred Broy, Ernst Denert (eds.)Springerc2002
全国の図書館
  • 著者標目Broy, M. Denert, Ernst

Engineering dependable software systems : NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 34)

Engineering dependable software systems : NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 34)
紙図書
IOS Press[2013]<M17-15-1429>
国立国会図書館
  • 著者標目...dorf, Germany) Broy, M., 1949- Peled, Doron A., 1962-...

Models, algebras and logic of engineering software : IOS Press : Ohmsha

Models, algebras and logic of engineering software : IOS Press : Ohmsha
紙図書
edited by Manfred Broy and Markus PizkaIOS Pressc2003
全国の図書館
  • 著者標目Broy, M. Pizka, Markus NATO Advanced S...

Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers

Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers
紙図書
Manfred Broy, Alexandre V. Zamulin (eds.)Springerc2003
全国の図書館
  • 著者標目International Andrei Ershov Memorial Conference Broy, M. Zamulin, Alexandre V.

Engineering theories of software construction : IOS Press : Ohmsha

Engineering theories of software construction : IOS Press : Ohmsha
紙図書
edited by Tony Hoare, Manfred Broy and Ralf SteinbrüggenIOS Pressc2001
全国の図書館
  • 著者標目Hoare, Tony Broy, M. Steinbrüggen, Ralf

Specification and development of interactive systems : focus on streams,interfaces, and refinement

Specification and development of interactive systems : focus on streams,interfaces, and refinement
紙図書
Manfred Broy, Ketil StølenSpringerc2001
全国の図書館
  • 著者標目Broy, M. Stølen, Ketil

Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings

Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings
紙図書
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)Springerc2000
全国の図書館
  • 著者標目International Andrei Ershov Memorial Conference Bjørner, D. (Dines) Broy, M. Zamulin, Alexandre V.

Software system reliability and security. : NATO Advanced Research Institute on software system reliability and security : 27th international summer school on software system reliability and security : Marktoberdorf summer school : Aug 2006, Marktoberdorf, Germany. (NATO Security through Science Series. Series D, Information and Communication Security ; 9)

Software system reliability and security. : NATO Advanced Research Institute on software system reliability and security : 27th international summer school on software system reliability and security : Marktoberdorf summer school : Aug 2006, Marktoberdorf, Germany. (NATO Security through Science Series. Series D, Information and Communication Security ; 9)
紙図書
IOS Pressc2007.<M17-09-564>
国立国会図書館
  • 著者標目Broy, M., 1949- Grünbauer, Johannes. H...

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
紙図書
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)Springerc2001
全国の図書館
  • 著者標目International Andrei Ershov Memorial Conference Bjørner, D. (Dines) Broy, M. Zamulin, Alexandre V.

Software and systems safety : specification and verification : NATO Advanced Study Institute on software and systems safety: specification and verification : 31st international summer school Marktoberdorf 2010 on software and systems safety: specification and verification : Aug 2010, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 30)

Software and systems safety : specification and verification : NATO Advanced Study Institute on software and systems safety: specification and verification : 31st international summer school Marktoberdorf 2010 on software and systems safety: specification and verification : Aug 2010, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 30)
紙図書
IOS Pressc2011.<M17-13-423>
国立国会図書館
  • 著者標目Broy, M., 1949- Leuxner, Christian. Ho...

Model-driven development of reliable automotive services : second automotive software workshop, ASWSD 2006 : San Diego, CA, USA, March 15-17, 2006 : revised selected papers. : Mar 2006, San Diego, CA. (Lecture Notes in Computer Science ; 4922)

Model-driven development of reliable automotive services : second automotive software workshop, ASWSD 2006 : San Diego, CA, USA, March 15-17, 2006 : revised selected papers. : Mar 2006, San Diego, CA. (Lecture Notes in Computer Science ; 4922)
紙図書
Springerc2008.<M17-08-2108>
国立国会図書館
  • 著者標目Broy, M., 1949- Krüger, Ingolf H. Meis...

Calculational system design : IOS Press : Ohmsha

Calculational system design : IOS Press : Ohmsha
紙図書
edited by Manfred Broy, Ralf SteinbrüggenIOS Pressc1999
全国の図書館
  • 著者標目Broy, M. Steinbrüggen, Ralf

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

Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings
紙図書
Manfred Broy, Bernhard Rumpe (eds.)Springerc1998
全国の図書館
  • 著者標目International Workshop RTSE Broy, M. Rumpe, Bernhard

Automotive software -- connected services in mobile networks : first automotive software workshop, ASWSD 2004 : San Diego, CA, USA, January 10-12, 2004 : revised selected papers. : Jan 2004, San Diego, CA. (Lecture Notes in Computer Science ; 4147)

Automotive software -- connected services in mobile networks : first automotive software workshop, ASWSD 2004 : San Diego, CA, USA, January 10-12, 2004 : revised selected papers. : Jan 2004, San Diego, CA. (Lecture Notes in Computer Science ; 4147)
紙図書
Springerc2006.<M17-07-190>
国立国会図書館
  • 著者標目Broy, M., 1949- Krüger, Ingolf H. Meis...

Engineering methods and tools for software safety and security. : NATO Advanced Study Institute on engineering methods and tools for software safety and security : summer school 2008 engineering methods and tools for software safety and security : 29th international summer school : Marktoberdorf summer school : Aug 2008, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 22)

Engineering methods and tools for software safety and security. : NATO Advanced Study Institute on engineering methods and tools for software safety and security : summer school 2008 engineering methods and tools for software safety and security : 29th international summer school : Marktoberdorf summer school : Aug 2008, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 22)
紙図書
IOS Pressc2009.<M17-11-3495>
国立国会図書館
  • 著者標目Broy, M., 1949- Sitou, Wassiou. Hoare,...

Formal systems specification : the RPC-Memory specification case study

Formal systems specification : the RPC-Memory specification case study
紙図書
Manfred Broy, Stephan Merz, Katharina Spies (eds.)Springerc1996
全国の図書館
  • 著者標目Broy, M. Merz, Stephan Spies, Katharin...

KORSO : methods, languages, and tools for the construction of correct software : final report

KORSO : methods, languages, and tools for the construction of correct software : final report
紙図書
Manfred Broy, Stefan Jähnichen (eds.)Springerc1995
全国の図書館
  • 著者標目Broy, M. Jähnichen, Stefan

Mathematical methods in program development

Mathematical methods in program development
紙図書
edited by Manfred Broy, Birgit SchiederSpringer1997
全国の図書館
  • 著者標目Broy, M. Schieder, Birgit NATO Advance...
RSS