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

 
9783847337539: Implementing JML Contracts with AspectJ: Improving instrumentation and checking of JML contracts

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.

About the Author:

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.

Comprar nuevo Ver libro

Gastos de envío: EUR 6,75
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Henrique Rebelo
Editorial: LAP Lambert Academic Publishing 2012-02-07 (2012)
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevos paperback Cantidad: > 20
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción LAP Lambert Academic Publishing 2012-02-07, 2012. paperback. Estado de conservación: New. Nº de ref. de la librería 9783847337539

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 50,36
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,75
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Rebelo, Henrique / Lima, Ricardo Massa F.
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevos Cantidad: 1
Librería
Valoración
[?]

Descripción Estado de conservación: New. Publisher/Verlag: LAP Lambert Academic Publishing | Improving instrumentation and checking of JML contracts | 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. | Format: Paperback | Language/Sprache: english | 205 gr | 144 pp. Nº de ref. de la librería K9783847337539

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 54,70
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Rebelo, Henrique
Editorial: LAP Lambert Academic Publishing (2016)
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevos Paperback Cantidad: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción LAP Lambert Academic Publishing, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9783847337539_lsuk

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 59,58
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,37
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Henrique Rebelo
Editorial: LAP Lambert Academic Publishing (2012)
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción LAP Lambert Academic Publishing, 2012. PAP. Estado de conservación: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería LQ-9783847337539

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 54,57
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,13
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Henrique Rebelo
Editorial: LAP Lambert Academic Publishing (2012)
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción LAP Lambert Academic Publishing, 2012. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería IQ-9783847337539

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 62,95
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,40
A Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Henrique Rebelo; Ricardo Massa F. Lima; Márcio L. Cornélio
Editorial: LAP LAMBERT Academic Publishing (2012)
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevos Paperback Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción LAP LAMBERT Academic Publishing, 2012. Paperback. Estado de conservación: New. book. Nº de ref. de la librería M384733753X

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 75,85
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Henrique Rebelo
Editorial: LAP Lambert Academic Publishing Feb 2012 (2012)
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevos Taschenbuch Cantidad: 1
Librería
Rheinberg-Buch
(Bergisch Gladbach, Alemania)
Valoración
[?]

Descripción LAP Lambert Academic Publishing Feb 2012, 2012. Taschenbuch. Estado de conservación: Neu. Neuware - 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. 144 pp. Englisch. Nº de ref. de la librería 9783847337539

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 59,00
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 17,13
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Henrique Rebelo
Editorial: LAP Lambert Academic Publishing Feb 2012 (2012)
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevos Taschenbuch Cantidad: 1
Librería
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Alemania)
Valoración
[?]

Descripción LAP Lambert Academic Publishing Feb 2012, 2012. Taschenbuch. Estado de conservación: Neu. Neuware - 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. 144 pp. Englisch. Nº de ref. de la librería 9783847337539

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 59,00
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 17,13
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Henrique Rebelo
Editorial: LAP Lambert Academic Publishing Feb 2012 (2012)
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevos Taschenbuch Cantidad: 1
Impresión bajo demanda
Librería
AHA-BUCH GmbH
(Einbeck, Alemania)
Valoración
[?]

Descripción LAP Lambert Academic Publishing Feb 2012, 2012. Taschenbuch. Estado de conservación: Neu. This item is printed on demand - Print on Demand Neuware - 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. 144 pp. Englisch. Nº de ref. de la librería 9783847337539

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 59,00
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 29,50
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Henrique Rebelo
Editorial: LAP Lambert Academic Publishing, Germany (2012)
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevos Paperback Cantidad: > 20
Impresión bajo demanda
Librería
The Book Depository EURO
(London, Reino Unido)
Valoración
[?]

Descripción LAP Lambert Academic Publishing, Germany, 2012. Paperback. Estado de conservación: New. Language: English . Brand New Book ***** Print on Demand *****.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. Nº de ref. de la librería AAV9783847337539

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 88,16
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,38
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda