國立虎尾科技大學 |

作品:	34 作品在 3 項出版品 1 種語言

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 :) (書目-語言資料,印刷品)

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. (書目-語言資料,印刷品) , [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. (書目-語言資料,印刷品) , [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. (書目-語言資料,印刷品) , [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. (書目-語言資料,印刷品) , [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. (書目-語言資料,印刷品) , [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. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Modeling with UML = Language, Concepts, Methods / by: Rumpe, Bernhard.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

Agile modeling with UML = code generation, testing, refactoring / by: Rumpe, Bernhard.; SpringerLink (Online service) (書目-語言資料,印刷品)

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) (書目-語言資料,印刷品)