Výsledky vyhledávání - "Java Modeling Language"

Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language

Autoři: David R. Cok

Zdroj: Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. :26-28

Faster and More Complete Extended Static Checking for the Java Modeling Language: Faster and more complete extended static checking for the Java modeling language

Autoři: James, Perry R. Chalin, Patrice

Zdroj: Journal of Automated Reasoning. 44:145-174

Témata: static verification, JML4, Specification and verification (program logics, model checking, etc.), Theory of programming languages, ESC, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, theorem provers, extended static checking, 0202 electrical engineering, electronic engineering, information engineering, Java Modeling Language, ESC4, Theorem proving (deduction, resolution, etc.)

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/5662159
https://doi.org/10.1007/s10817-009-9134-9

Formal Specification with the Java Modeling Language

Autoři: Huisman, Marieke Ahrendt, Wolfgang Grahl, Daniel a další

Zdroj: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10001 LNCS:193-241

Témata: Solftware Analysis, Software Verification, Software Specification

Přístupová URL adresa: https://research.chalmers.se/publication/246669

A Catalog of Bad Smells in Design-by-Contract Methodologies with Java Modeling Language

Autoři: Viana, Thiago

Zdroj: Journal of Computing Science and Engineering. 7:251-262

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Popis souboru: application/pdf

Přístupová URL adresa: http://www.ndsl.kr/soc_img/society/kiss/E1EIKI/2013/v7n4/E1EIKI_2013_v7n4_251.pdf
http://oro.open.ac.uk/45530/1/E1EIKI_2013_v7n4_251.pdf

Automatic detection of feature interactions using the Java modeling language: an experience report

Autoři: Wolfgang Scholz Thomas Thüm Sven Apel a další

Zdroj: Proceedings of the 15th International Software Product Line Conference, Volume 2. :1-8

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language

Autoři: Wladimir Araujo Lionel C. Briand Yvan Labiche

Zdroj: Proceedings of the 33rd International Conference on Software Engineering. :786-795

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Eine formale Semantik für die Java Modeling Language

Autoři: Bruns, Daniel

Zdroj: Informatik-Spektrum. 35:45-49

Témata: ddc:004, DATA processing & computer science, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Implementing Java modeling language contracts with AspectJ

Autoři: Henrique Rebêlo Sérgio Soares Ricardo Lima a další

Zdroj: Proceedings of the 2008 ACM symposium on Applied computing. :228-233

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

A specification language design for the Java Modeling Language (JML) using Java 5 annotations

Autoři: Taylor, Kristina Computer Science Gary T. Leavens a další

Přispěvatelé: Taylor, Kristina Computer Science Gary T. Leavens a další

Témata: Computer Sciences, 4. Education, Software Engineering, Computer science, JML annotation specification

Popis souboru: application/pdf

Přístupová URL adresa: https://dr.lib.iastate.edu/bitstreams/80fc9ab6-73c8-45ac-8e6b-000df796a253/download

A Logic for the Java Modeling Language JML

Autoři: Jacobs, B.P.F. Poll, E. Hussmann, H.

Přispěvatelé: Jacobs, B.P.F. Poll, E. Hussmann, H.

Zdroj: Lecture Notes in Computer Science ISBN: 9783540418634
Hussmann, H. (ed.), Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings, pp. 284-299

Témata: Digital Security

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F3-540-45314-8_21.pdf
https://hdl.handle.net/2066/130360

Non-null References by Default in the Java Modeling Language

Autoři: Patrice Chalin Frédéric Rioux The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Patrice Chalin Frédéric Rioux The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.iastate.edu/~leavens/SAVCBS/2005/papers/Chalin-Rioux.pdf.

Témata: Documentation, Design, Languages, Theory, Verification. Keywords Contracts, Java Modeling Language, JML, reference types, nonnull references

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.131.6019

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.131.6019
http://www.cs.iastate.edu/~leavens/SAVCBS/2005/papers/Chalin-Rioux.pdf

Tutorial on JML, the java modeling language

Autoři: Leavens, Gary T.

Zdroj: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering. :573-573

Témata: java modeling language (JML), 4. Education, design by contract, runtime assertion checking, tool, 02 engineering and technology, information hiding, extended static checking, specification inheritance, model field, assertion, specification, invariant, 0202 electrical engineering, electronic engineering, information engineering, behavioral subtype, verification

A Logic for the Java Modeling Language JML

Autoři: Hussmann, H. Jacobs, B.P.F. Poll, E.

Zdroj: Hussmann, H. (ed.), Fundamental Approaches to Software Engineering; 284; 299; 9783540418634; Lecture Notes in Computer Science ; 2029; Hussmann, H. (ed.), Fundamental Approaches to Software Engineering~~284~299~~9783540418634~~~~Lecture Notes in Computer Science ; 2029~

Témata: Lecture Notes in Computer Science

URL: http://hdl.handle.net/2066/130360
https://doi.org/10.1007/3-540-45314-8_21
Lecture Notes in Computer Science ; 2029

A logic for the Java modeling language JML

Autoři: Jacobs, B.P.F. Poll, E.

Zdroj: ~~~~~~~~~~

URL: http://hdl.handle.net/2066/18939

Conformance test development with the Java modeling language

Autoři: Søndergaard, Hans Korsholm, Stephan E. Ravn, Anders P.

Zdroj: Søndergaard, H, Korsholm, S E & Ravn, A P 2017, 'Conformance test development with the Java modeling language', Concurrency Computation, vol. 29, Special Issue Paper. https://doi.org/10.1002/cpe.4071

Témata: Conformance test, Formal specification, Java Modeling Language, Model-based testing, Real-time Java, Safety-critical Java, Technology Compatibility Kit, Test

Relation: info:eu-repo/semantics/altIdentifier/wos/000413540200014; info:eu-repo/semantics/altIdentifier/pissn/1532-0626; info:eu-repo/semantics/altIdentifier/eissn/1532-0634

Dostupnost: https://vbn.aau.dk/da/publications/8c966389-1de5-473b-b1dd-54ac1491f71d
https://doi.org/10.1002/cpe.4071

A runtime assertion checker for the Java Modeling Language

Autoři: Cheon, Yoonsik Gary T. Leavens Department of Computer Science

Přispěvatelé: Cheon, Yoonsik Gary T. Leavens Department of Computer Science

Témata: Computer Sciences, Computer science

Popis souboru: application/pdf

Přístupová URL adresa: https://dr.lib.iastate.edu/bitstreams/f15c4000-bf2f-4ce1-bfc8-28a0b88b9476/download

Formal Specification and Verification of JDK’s Identity Hash Map Implementation: Formal specification and verification of JDK's identity hash map implementation

Autoři: Martin De Boer Stijn De Gouw Jonas Klamroth a další

Přispěvatelé: Martin De Boer Stijn De Gouw Jonas Klamroth a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783031077265
Boer, M D, Gouw, S D, Klamroth, J, Jung, C, Ulbrich, M & Weigl, A 2022, Formal Specification and Verification of JDK's Identity Hash Map Implementation. in M H T Beek & R Monahan (eds), Integrated Formal Methods-17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. vol. 13274, Springer, Cham, Lecture Notes in Computer Science, pp. 45-62, 17th International Conference on integrated Formal Methods, Lugano, Switzerland, 7/06/22. https://doi.org/10.1007/978-3-031-07727-2_4
Boer, M D, Gouw, S D, Klamroth, J, Jung, C, Ulbrich, M & Weigl, A 2023, 'Formal Specification and Verification of JDK's Identity Hash Map Implementation', Formal Aspects of Computing, vol. 35, no. 3, 18. https://doi.org/10.1145/3594729

Témata: ddc:004, Data structures, Specification and verification (program logics, model checking, etc.), Verified Hash Map, cooperative verification, verified hash map, 0102 computer and information sciences, 02 engineering and technology, real-world case study, 01 natural sciences, verified data structure, Real-world case study, Cooperative verification, Deductive program verification, 0202 electrical engineering, electronic engineering, information engineering, Verified hash map, deductive program verification, Java modeling language, Verified data structure, Verified Data Structure, DATA processing & computer science, Theory of programming languages, Real-world case study \and, Deductive Program Verification, Cooperative Verification, Java Modeling Language

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: https://zbmath.org/7919837
https://doi.org/10.1145/3594729
https://research.ou.nl/en/publications/d9e94631-4749-4188-9bd1-3b2525e19165
https://doi.org/10.1007/978-3-031-07727-2_4
https://research.ou.nl/en/publications/88c8e313-b8b4-435d-a5d8-edc48296e5dd
https://doi.org/10.1145/3594729
https://publikationen.bibliothek.kit.edu/1000145727
https://doi.org/10.5445/IR/1000145727
https://publikationen.bibliothek.kit.edu/1000145727/148721232
https://publikationen.bibliothek.kit.edu/1000148092
https://doi.org/10.5445/IR/1000148092
https://publikationen.bibliothek.kit.edu/1000148092/149874381

Verifying OpenJDK’s LinkedList using KeY (extended paper)

Autoři: Hans-Dieter A. Hiep Olaf Maathuis Jinting Bian a další

Zdroj: Hiep, H-D A, Maathuis, O, Bian, J, Boer, F S D & Gouw, S D 2022, 'Verifying OpenJDK's LinkedList using KeY (extended paper)', International Journal on Software Tools for Technology Transfer, vol. 24, no. 5, pp. 783-802. https://doi.org/10.1007/s10009-022-00679-7

Témata: KeY, Deductive verification, Case study, 0202 electrical engineering, electronic engineering, information engineering, Java Modeling Language, 0102 computer and information sciences, 02 engineering and technology, Standard library, 01 natural sciences, Bug

Popis souboru: application/pdf

Přístupová URL adresa: https://research.ou.nl/en/publications/f9120f87-823e-4801-96ca-c3cb59163366
https://doi.org/10.1007/s10009-022-00679-7
https://hdl.handle.net/1887/3765724

A Security Analysis of a Biometric Authentication System using UMLsec and the Java Modeling Language

Autoři: Lloyd, J. G.

Popis souboru: application/pdf

Relation: https://oro.open.ac.uk/90202/1/TR2007-25.pdf; https://oro.open.ac.uk/90202/7/TR2007-25_Redacted.pdf; Lloyd, J. G. (2007). A Security Analysis of a Biometric Authentication System using UMLsec and the Java Modeling Language. Student dissertation for The Open University module M801 MSc in Software Development Research Dissertation .

Dostupnost: https://oro.open.ac.uk/90202/

Verification of class liveness properties with Java modeling language

Autoři: Giorgetti, Alain Groslambert, Julien Julliand, Jacques a další

Přispěvatelé: Giorgetti, Alain Groslambert, Julien Julliand, Jacques a další

Zdroj: ISSN: 1751-8806.

Témata: liveness, temporal logic, Java language, JML assertion, F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.5: Specification techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Relation: hal-00561340; https://hal.archives-ouvertes.fr/hal-00561340; https://hal.archives-ouvertes.fr/hal-00561340/document; https://hal.archives-ouvertes.fr/hal-00561340/file/ggjk08_ij.pdf

Dostupnost: https://hal.archives-ouvertes.fr/hal-00561340
https://hal.archives-ouvertes.fr/hal-00561340/document
https://hal.archives-ouvertes.fr/hal-00561340/file/ggjk08_ij.pdf
https://doi.org/10.1049/iet-sen:20080008