Suchergebnisse - "Java Modeling Language"

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

Autoren: David R. Cok

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

Formal Specification with the Java Modeling Language

Autoren: Huisman, Marieke Ahrendt, Wolfgang Grahl, Daniel et al.

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

Schlagwörter: Solftware Analysis, Software Verification, Software Specification

Zugangs-URL: https://research.chalmers.se/publication/246669

Conformance test development with the Java modeling language

Autoren: Søndergaard, Hans Korsholm, Stephan E. Ravn, Anders P.

Quelle: 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

Schlagwörter: Safety-critical Java, Test, Conformance test, Technology Compatibility Kit, 0202 electrical engineering, electronic engineering, information engineering, Java Modeling Language, Real-time Java, 02 engineering and technology, Formal specification, Model-based testing

Zugangs-URL: https://vbn.aau.dk/en/publications/conformance-test-development-with-the-java-modeling-language(8c966389-1de5-473b-b1dd-54ac1491f71d).html
https://dblp.uni-trier.de/db/journals/concurrency/concurrency29.html#SondergaardKR17
https://onlinelibrary.wiley.com/doi/10.1002/cpe.4071
https://core.ac.uk/display/94571696
https://www.ucviden.dk/portal/da/publications/conformance-test-development-with-the-java-modeling-language(fc6a8d4a-d7a5-4838-ba53-f6ea7b2db995).html
https://vbn.aau.dk/da/publications/conformance-test-development-with-the-java-modeling-language

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

Autoren: Thiago Viana

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

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Dateibeschreibung: application/pdf

Zugangs-URL: 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
https://dblp.uni-trier.de/db/journals/jcse/jcse7.html#Viana13
http://koreascience.or.kr/article/ArticleFullRecord.jsp?cn=E1EIKI_2013_v7n4_251
http://oro.open.ac.uk/45530/1/E1EIKI_2013_v7n4_251.pdf
http://jcse.kiise.org/e-journal/2013/12/pdf/V7N4-05.pdf
http://oro.open.ac.uk/45530/

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

Autoren: Thomas Thüm Wolfgang Scholz Sven Apel et al.

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

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/STSL:FOSD11.pdf
https://doi.org/10.1145/2019136.2019144
http://www.infosun.fim.uni-passau.de/publications/docs/FOSD2011spek.pdf
https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/STSL:FOSD11.pdf
https://dl.acm.org/doi/10.1145/2019136.2019144
https://dblp.uni-trier.de/db/conf/splc/splc2011w.html#ScholzTAL11

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

Autoren: Wladimir Araujo Yvan Labiche Lionel C. Briand

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

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006032520
https://ir.library.carleton.ca/pub/5583
https://doi.org/10.1145/1985793.1985903
https://dblp.uni-trier.de/db/conf/icse/icse2011.html#AraujoBL11

Eine formale Semantik für die Java Modeling Language

Autoren: Bruns, Daniel

Quelle: Informatik-Spektrum. 35:45-49

Schlagwörter: ddc:004, DATA processing & computer science, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Implementing Java modeling language contracts with AspectJ

Autoren: Henrique Rebêlo Márcio Cornélio Leopoldo Ferreira et al.

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

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: https://core.ac.uk/display/21180482
http://portal.acm.org/citation.cfm?doid=1363686.1363745
https://www.cin.ufpe.br/~hemr/papers/SAC08_rebelo.pdf
https://dl.acm.org/doi/10.1145/1363686.1363745
https://dblp.uni-trier.de/db/conf/sac/sac2008.html#RebeloSLFC08

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

Autoren: Taylor, Kristina Computer Science Gary T. Leavens et al.

Weitere Verfasser: Taylor, Kristina Computer Science Gary T. Leavens et al.

Schlagwörter: Computer Sciences, 4. Education, Software Engineering, Computer science, JML annotation specification

Dateibeschreibung: application/pdf

Zugangs-URL: https://dr.lib.iastate.edu/bitstreams/80fc9ab6-73c8-45ac-8e6b-000df796a253/download
https://lib.dr.iastate.edu/rtd/14929/
https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1328&context=cs_techreports

A runtime assertion checker for the Java Modeling Language

Autoren: Cheon, Yoonsik Gary T. Leavens Department of Computer Science

Weitere Verfasser: Cheon, Yoonsik Gary T. Leavens Department of Computer Science

Schlagwörter: Computer Sciences, Computer science

Dateibeschreibung: application/pdf

Zugangs-URL: https://dr.lib.iastate.edu/bitstreams/f15c4000-bf2f-4ce1-bfc8-28a0b88b9476/download
https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1569&context=rtd
https://lib.dr.iastate.edu/rtd/570/
http://www.cs.utep.edu/cheon/data/tr02-05.pdf

On the Relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML)

Autoren: A. Hamie

Quelle: 2006 Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'06). :411-414

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004032217
https://dblp.uni-trier.de/db/conf/pdcat/pdcat2006.html#Hamie06
https://ieeexplore.ieee.org/document/4032217/
https://www.computer.org/csdl/proceedings-article/pdcat/2006/27360411/12OmNCcbEce

Faster and More Complete Extended Static Checking for the Java Modeling Language

Autoren: Perry R. James Patrice Chalin

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

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Zugangs-URL: https://dblp.uni-trier.de/db/journals/jar/jar44.html#JamesC10
https://dl.acm.org/doi/10.1007/s10817-009-9134-9
https://doi.org/10.1007/s10817-009-9134-9
https://link.springer.com/article/10.1007/s10817-009-9134-9

A Logic for the Java Modeling Language JML

Autoren: Jacobs, B.P.F. Poll, E. Hussmann, H.

Weitere Verfasser: Jacobs, B.P.F. Poll, E. Hussmann, H.

Quelle: 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

Schlagwörter: Digital Security

Zugangs-URL: https://link.springer.com/content/pdf/10.1007%2F3-540-45314-8_21.pdf
https://www.cs.ru.nl/E.Poll/papers/jmllogic.pdf
https://www.narcis.nl/publication/RecordID/oai%3Arepository.ubn.ru.nl%3A2066%2F130360
https://dblp.uni-trier.de/db/conf/fase/fase2001.html#JacobsP01
https://core.ac.uk/display/24616393
https://rd.springer.com/chapter/10.1007/3-540-45314-8_21
https://repository.ubn.ru.nl/handle/2066/18939
https://hdl.handle.net/2066/130360

Non-null References by Default in the Java Modeling Language

Autoren: Patrice Chalin Frédéric Rioux The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Patrice Chalin Frédéric Rioux The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: Documentation, Design, Languages, Theory, Verification. Keywords Contracts, Java Modeling Language, JML, reference types, nonnull references

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Leavens, Gary T.

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

Schlagwörter: 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

Zugangs-URL: https://doi.acm.org/10.1145/1321631.1321747
http://dblp.uni-trier.de/db/conf/kbse/ase2007.html#Leavens07

A Logic for the Java Modeling Language JML

Autoren: Hussmann, H. Jacobs, B.P.F. Poll, E.

Quelle: 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~

Index Begriffe: 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

Autoren: Jacobs, B.P.F. Poll, E.

Quelle: ~~~~~~~~~~

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

Verifying OpenJDK’s LinkedList using KeY (extended paper)

Autoren: Hans-Dieter A. Hiep Olaf Maathuis Jinting Bian et al.

Quelle: 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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: https://research.ou.nl/en/publications/f9120f87-823e-4801-96ca-c3cb59163366
https://doi.org/10.1007/s10009-022-00679-7
https://research.ou.nl/en/publications/f9120f87-823e-4801-96ca-c3cb59163366
https://doi.org/10.1007/s10009-022-00679-7
https://www.scopus.com/pages/publications/85138545678
https://hdl.handle.net/1887/3765724

Formal Specification and Verification of JDK’s Identity Hash Map Implementation

Autoren: Martin De Boer Stijn De Gouw Jonas Klamroth et al.

Weitere Verfasser: Martin De Boer Stijn De Gouw Jonas Klamroth et al.

Quelle: 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

Schlagwörter: ddc:004, Verified Hash Map, Verified data structure, Verified Data Structure, DATA processing & computer science, Real-world case study \and, Deductive Program Verification, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Cooperative Verification, Real-world case study, Cooperative verification, Deductive program verification, 0202 electrical engineering, electronic engineering, information engineering, Verified hash map, Java Modeling Language

Dateibeschreibung: application/pdf

Zugangs-URL: 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
https://research.ou.nl/en/publications/d9e94631-4749-4188-9bd1-3b2525e19165
https://doi.org/10.1007/978-3-031-07727-2_4
https://www.scopus.com/pages/publications/85131941541
https://research.ou.nl/en/publications/88c8e313-b8b4-435d-a5d8-edc48296e5dd
https://www.scopus.com/pages/publications/85174702742
https://doi.org/10.1145/3594729

Non-null references by default in the Java modeling language

Autoren: Frédéric Rioux Patrice Chalin

Quelle: ACM SIGSOFT Software Engineering Notes. 31:9

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: https://www.cs.ucf.edu/~leavens/SAVCBS/2005/papers/Chalin-Rioux.pdf
https://dl.acm.org/doi/10.1145/1118537.1123068
https://dblp.uni-trier.de/db/journals/sigsoft/sigsoft31.html#ChalinR06