Innovations in Systems and Software Engineering,volume 9,issue 1  (03-2014)

Period of time： 2014年1期

Publisher： Springer Publishing Company

Founded in： 2005

Total resources： 5

ISSN： 1614-5046

Subject： TP Automation Technology , Computer Technology

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Innovations in Systems and Software Engineering,volume 9,issue 1

Menu

Special Issue: Harnessing theories for tool support in software

By Stolz Volker in (2013)

Innovations in Systems and Software Engineering,volume 9,issue 1 , Vol. 9, Iss. 1, 2013-03 , pp. 1-2

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A framework for automated and certified refinement steps

By Griesmayer Andreas in (2013)

Innovations in Systems and Software Engineering,volume 9,issue 1 , Vol. 9, Iss. 1, 2013-03 , pp. 3-16

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Towards harnessing theories through tool support for hard real-time Java programming

By Bøgholm Thomas in (2013)

Innovations in Systems and Software Engineering,volume 9,issue 1 , Vol. 9, Iss. 1, 2013-03 , pp. 17-28

Springer Publishing Company

Abstract Access to resources Recommend Favorite

User-defined schedulers for real-time concurrent objects

By Bjørk Joakim in (2013)

Innovations in Systems and Software Engineering,volume 9,issue 1 , Vol. 9, Iss. 1, 2013-03 , pp. 29-43

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Model checking driven static analysis for the real world: designing and tuning large scale bug detection

By Fehnker Ansgar in (2013)

Innovations in Systems and Software Engineering,volume 9,issue 1 , Vol. 9, Iss. 1, 2013-03 , pp. 45-56

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 5 item(s)