Related content

An Integrated Approach to High Integrity Software Verification

By Ireland Andrew   Ellis Bill   Cook Andrew   Chapman Roderick   Barnes Janet  

Journal of Automated Reasoning, Vol. 36, Iss. 4, 2006-04 ,pp. : 379-410

Springer Publishing Company

Access to resources Recommend Favorite

Fully automatic generation of web user interfaces for multiple devices from a high-level model based on communicative acts

By Falb Jurgen   Popp Roman   Rock Thomas   Jelinek Helmut   Arnautovic Edin   Kaindl Hermann  

International Journal of Web Engineering and Technology, Vol. 5, Iss. 2, 2009-09 ,pp. : 135-161

Inderscience Publishers

Access to resources Recommend Favorite

An integrated high-level hardware/software partitioning methodology

By Abdelhalim M.   Habib S.  

Design Automation for Embedded Systems, Vol. 15, Iss. 1, 2011-03 ,pp. : 19-50

Springer Publishing Company

Access to resources Recommend Favorite

Deductive verification of cryptographic software

By Almeida José  

Innovations in Systems and Software Engineering, Vol. 6, Iss. 3, 2010-09 ,pp. : 203-218

Springer Publishing Company

Access to resources Recommend Favorite

Discourses on User Participation: Findings from Open Source Software Development Context

By  

International Journal of Open Source Software and Processes (IJOSSP), Vol. 1, Iss. 3, 2009-07 ,pp. : 44-59

IGI Global_journal

Access to resources Recommend Favorite