語系
Rumpe, Bernhard.
概要
作品: | 2 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Requirements targeting software and systems engineering = International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings /
by:
Broy, Manfred.; Rumpe, Bernhard.; SpringerLink (Online service); International Workshop RTSE '97 ((1997 :)
(書目-語言資料,印刷品)
Agile modeling with UML = code generation, testing, refactoring /
by:
Rumpe, Bernhard.; SpringerLink (Online service)
(書目-電子資源)
Trusted cloud computing
by:
Rumpe, Bernhard.; SpringerLink (Online service); Krcmar, Helmut.; Reussner, Ralf.
(書目-電子資源)
UML '99 = the unified modeling language : beyond the standard : Second International Conference Fort Collins, CO, October 28-30, 1999 : proceedings /
by:
France, Robert.; Rumpe, Bernhard.; SpringerLink (Online service); UML '99 ((1999 :)
(書目-語言資料,印刷品)
Software engineering and formal methods = SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers /
by:
Rumpe, Bernhard.; SpringerLink (Online service); Calinescu, Radu.; Bianculli, Domenico.
(書目-電子資源)
Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
Rumpe, Bernhard.; SpringerLink (Online service); Calinescu, Radu.
(書目-電子資源)
主題
UML (Computer science)
Computer security.
Software Engineering.
Software engineering
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software engineering- Congresses.
Information Systems Applications (incl. Internet)
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Database Management.
Management of Computing and Information Systems.
Computer systems- Reliability.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Software Management.
Agile software development.
Computer software- Development
Computer Science.
Computer Communication Networks.
Systems and Data Security.
Probability and Statistics in Computer Science.
Systems engineering- Congresses.
Cloud computing- Security measures.
Model-driven software architecture.