Innovations in Systems and Software Engineering,volume 6,issue 4  (12-2014)

Period of time： 2014年4期

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 6,issue 4

Menu

A formal nethod (a networked formal method)

By Breuer Peter in (2010)

Innovations in Systems and Software Engineering,volume 6,issue 4 , Vol. 6, Iss. 4, 2010-12 , pp. 255-268

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Quantifying security threats and their potential impacts: a case study

By Aissa Anis in (2010)

Innovations in Systems and Software Engineering,volume 6,issue 4 , Vol. 6, Iss. 4, 2010-12 , pp. 269-281

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Linking denotational semantics with operational semantics for web services

By Zhu Huibiao in (2010)

Innovations in Systems and Software Engineering,volume 6,issue 4 , Vol. 6, Iss. 4, 2010-12 , pp. 283-298

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Use of a multidimensional approach to study the evolution of software complexity

By Sangwan Raghvinder in (2010)

Innovations in Systems and Software Engineering,volume 6,issue 4 , Vol. 6, Iss. 4, 2010-12 , pp. 299-310

Springer Publishing Company

Abstract Access to resources Recommend Favorite

SCRUB: a tool for code reviews

By Holzmann Gerard in (2010)

Innovations in Systems and Software Engineering,volume 6,issue 4 , Vol. 6, Iss. 4, 2010-12 , pp. 311-318

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A second look at Faster, Better, Cheaper

By El-Rawas Oussama in (2010)

Innovations in Systems and Software Engineering,volume 6,issue 4 , Vol. 6, Iss. 4, 2010-12 , pp. 319-335

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 6 item(s)