Artículos relacionados a Implementing JML Contracts with AspectJ: Improving...

Implementing JML Contracts with AspectJ: Improving instrumentation and checking of JML contracts - Tapa blanda

Rebelo, Henrique; Massa F. Lima, Ricardo; L. Cornélio, Márcio

 
9783847337539: Implementing JML Contracts with AspectJ: Improving instrumentation and checking of JML contracts
Tapa blanda
ISBN 10: 384733753X ISBN 13: 9783847337539
Editorial: LAP LAMBERT Academic Publishing, 2012

Sinopsis

The Java Modeling Language (JML) is a formal interface specification language designed for Java. It was developed with the aim of improving the functional software correctness of Java applications. JML has a rich set of features for specifying Java applications, including abstract specifications, method and type specifications, and multiple inheritance specifications. The current JML compiler (jmlc) does not work properly when applied to Java dialects such as Java ME. The instrumented code generated by the original JML compiler uses the Java reflection mechanism and data structures not supported by Java ME platform. In order to overcome this limitation, our new JML compiler --- ajmlc (AspectJ JML Compiler) --- uses AspectJ to instrument Java code with JML contracts. A set of translation rules are defined from JML contracts into AspectJ program code. The result is a code compliant with both Java SE and Java ME applications. The translation rules handle a number of JML specifications, such as pre-, postconditions, and invariants. This book also includes proofs of concept to compare the size of the final code generated by our compiler with the code size produced by the jmlc compiler.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

The Java Modeling Language (JML) is a formal interface specification language designed for Java. It was developed with the aim of improving the functional software correctness of Java applications. JML has a rich set of features for specifying Java applications, including abstract specifications, method and type specifications, and multiple inheritance specifications. The current JML compiler (jmlc) does not work properly when applied to Java dialects such as Java ME. The instrumented code generated by the original JML compiler uses the Java reflection mechanism and data structures not supported by Java ME platform. In order to overcome this limitation, our new JML compiler --- ajmlc (AspectJ JML Compiler) --- uses AspectJ to instrument Java code with JML contracts. A set of translation rules are defined from JML contracts into AspectJ program code. The result is a code compliant with both Java SE and Java ME applications. The translation rules handle a number of JML specifications, such as pre-, postconditions, and invariants. This book also includes proofs of concept to compare the size of the final code generated by our compiler with the code size produced by the jmlc compiler.

Biografía del autor

Henrique Rebelo is Ph.D. student at the Informatics Center of the Federal University of Pernambuco (UFPE), Brazil in cooperation with University of Central Florida (UCF), USA. He received his M.Sc. degree in Computer Engineering from University of Pernambuco (UPE), Brazil in May 2008. His research interests includes AOSD and design by contract.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
LAP LAMBERT Academic Publishing
Año de publicación
2012
Idioma
Inglés
ISBN 10 
384733753X
ISBN 13 
9783847337539
Encuadernación
Tapa blanda
Número de páginas
144
Contacto del fabricante
no disponible
Persona responsable
no disponible