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