Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing species » developing space, developing societies, developing speaking
https developing » hits developing, steps developing, crops developing
species https » spaces https, supplies https, species harpps
testing java » testing japan, detecting java, testing james
developing species » developing space, developing societies, developing speaking
https developing » hits developing, steps developing, crops developing
species https » spaces https, supplies https, species harpps
testing java » testing japan, detecting java, testing james
1
Published 2006
Table of Contents:
“... and Future -- Using B Machines for Model-Based Testing of Smartcard Software -- The Design of Spacecraft...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... of UML State Chart Models -- Verifying Semantic Conformance of State Machine-to-Java Code Generators -- A...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Criteria for Testing of Object Interactions in Sequence Diagrams -- Tools for Secure Systems Development...”View full text
Electronic
eBook