國立虎尾科技大學 |

概要

作品:	114 作品在 2 項出版品 1 種語言

書目資訊

Formal methods for model-driven engineering = 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012 : advanced lectures / by: Bernardo, Marco.; SpringerLink (Online service); Cortellessa, Vittorio.; Workshop on the Preservation of Stability under Discretization ((2001 :); Pierantonio, Alfonso. (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: SpringerLink (Online service); Varro, Daniel.; Cortellessa, Vittorio.; Workshop on the Preservation of Stability under Discretization ((2001 :) (書目-語言資料,印刷品)

Model-based software performance analysis by: SpringerLink (Online service); Di Marco, Antinisca.; Inverardi, Paola.; Cortellessa, Vittorio. (書目-語言資料,印刷品)

主題

Information Systems Applications (incl. Internet) Operating Systems. System Performance and Evaluation. Software measurement Management of Computing and Information Systems. Special Purpose and Application-Based Systems. Computer software Formal methods (Computer science) Computer Appl. in Administrative Data Processing. Mathematical Logic and Formal Languages. Software engineering Software Engineering. Software Engineering/Programming and Operating Systems. Logics and Meanings of Programs. Computer Science. Computer-aided engineering Engineering Programming Languages, Compilers, Interpreters. Simulation and Modeling.