Rumpe, Bernhard.
Overview
Works: | 34 works in 3 publications in 1 languages |
---|
Titles
Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
SpringerLink (Online service); Calinescu, Radu.; Rumpe, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
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:
SpringerLink (Online service); Bianculli, Domenico.; Rumpe, Bernhard.; Calinescu, Radu.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Model-Based Engineering of Collaborative Embedded Systems = Extensions of the SPES Methodology /
by:
Pohl, Klaus.; Broy, Manfred.; Rumpe, Bernhard.; Böhm, Wolfgang.; Schröck, Sebastian.; SpringerLink (Online service); Klein, Cornel.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Ernst Denert Award for Software Engineering 2019 = Practice Meets Foundations /
by:
Rumpe, Bernhard.; Felderer, Michael.; Reussner, Ralf.; Matthes, Florian.; Schaefer, Ina.; SpringerLink (Online service); Prechelt, Lutz.; Koziolek, Heiko.; Hasselbring, Wilhelm.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering and Formal Methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
by:
SpringerLink (Online service); Rumpe, Bernhard.; Calinescu, Radu.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Ernst Denert Award for Software Engineering 2020 = Practice Meets Foundations /
by:
Rumpe, Bernhard.; Felderer, Michael.; Reussner, Ralf.; Matthes, Florian.; Schaefer, Ina.; SpringerLink (Online service); Koziolek, Heiko.; Hasselbring, Wilhelm.; Prechelt, Lutz.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Globalizing Domain-Specific Languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /
by:
SpringerLink (Online service); Cheng, Betty H.C.; Rumpe, Bernhard.; Jézéquel, Jean-Marc.; France, Robert B.; Combemale, Benoit.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Modeling with UML = Language, Concepts, Methods /
by:
Rumpe, Bernhard.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Agile modeling with UML = code generation, testing, refactoring /
by:
Rumpe, Bernhard.; SpringerLink (Online service)
(Language materials, printed)
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:
Bianculli, Domenico.; Rumpe, Bernhard.; Calinescu, Radu.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(Language materials, printed)
Subjects
Mathematical logic.
Formal methods (Computer science)
IT in Business.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Computer Science.
Programming Techniques.
Computer programming.
Automotive engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Algorithms.
Special purpose computers.
Probability and Statistics in Computer Science.
Management of Computing and Information Systems.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
Application software.
Electronic data processing—Management.
Mathematical statistics.
Database management.
Artificial Intelligence.
Automotive Engineering.
Special Purpose and Application-Based Systems.
Model-driven software architecture.
Computer science.
IT Operations.
Management information systems.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computation by Abstract Devices.
Database Management.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Software Management.
Computer logic.
Agile software development.
UML (Computer science)
Information Systems Applications (incl. Internet).
Business information services.