Implementing Jml Contracts with Aspectj

 
9783847337539: Implementing Jml Contracts with Aspectj
Ver todas las copias de esta edición ISBN.
 
 
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.

Comprar nuevo Ver libro

Gastos de envío: EUR 6,78
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 (author)
Publicado por LAP Lambert Academic Publishing 2012-02-07 (2012)
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevo paperback Cantidad disponible: > 20
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción LAP Lambert Academic Publishing 2012-02-07, 2012. paperback. Condición: New. Nº de ref. del artículo: 9783847337539

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 48,89
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,78
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
Nuevo Cantidad disponible: 1
Librería
Valoración
[?]

Descripción Condició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. del artículo: K9783847337539

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 53,99
Convertir moneda

Añadir al carrito

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

3.

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

Descripción LAP Lambert Academic Publishing, 2016. Paperback. Condición: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783847337539_lsuk

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 59,86
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
Publicado por LAP Lambert Academic Publishing (2012)
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevo Cantidad disponible: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción LAP Lambert Academic Publishing, 2012. PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: LQ-9783847337539

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 54,79
Convertir moneda

Añadir al carrito

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

5.

Henrique Rebelo
Publicado por LAP Lambert Academic Publishing (2012)
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevo Cantidad disponible: > 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. Condició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. del artículo: IQ-9783847337539

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 64,19
Convertir moneda

Añadir al carrito

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

6.

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

Descripción LAP Lambert Academic Publishing Feb 2012, 2012. Taschenbuch. Condició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. del artículo: 9783847337539

Más información sobre este vendedor | Contactar al vendedor

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

7.

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

Descripción LAP Lambert Academic Publishing Feb 2012, 2012. Taschenbuch. Condició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. del artículo: 9783847337539

Más información sobre este vendedor | Contactar al vendedor

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
Publicado por LAP Lambert Academic Publishing Feb 2012 (2012)
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevo Taschenbuch Cantidad disponible: 1
Impresión bajo demanda
Librería
AHA-BUCH GmbH
(Einbeck, Alemania)
Valoración
[?]

Descripción LAP Lambert Academic Publishing Feb 2012, 2012. Taschenbuch. Condició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. del artículo: 9783847337539

Más información sobre este vendedor | Contactar al vendedor

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

9.

Henrique Rebelo
Publicado por LAP Lambert Academic Publishing, Germany (2012)
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevo Paperback Cantidad disponible: 1
Librería
The Book Depository EURO
(London, Reino Unido)
Valoración
[?]

Descripción LAP Lambert Academic Publishing, Germany, 2012. Paperback. Condición: New. Language: English . Brand New Book. 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. del artículo: KNV9783847337539

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 88,50
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

10.

Henrique Rebelo
Publicado por LAP Lambert Academic Publishing
ISBN 10: 384733753X ISBN 13: 9783847337539
Nuevo Paperback Cantidad disponible: > 20
Librería
BuySomeBooks
(Las Vegas, NV, Estados Unidos de America)
Valoración
[?]

Descripción LAP Lambert Academic Publishing. Paperback. Condición: New. 144 pages. Dimensions: 8.7in. x 5.9in. x 0.3in.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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Nº de ref. del artículo: 9783847337539

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 95,85
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
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