Search Results - "Java Modeling Language"
-
1
Authors: et al.
Source: 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
Subject Terms: 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
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Source: 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/3594729Subject Terms: 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
File Description: application/xml; application/pdf
Access URL: 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 -
3
Authors:
Contributors:
Subject Terms: Java Modeling Language, Deductive verification, Case study, Bug, Java standard library, Computer Science, Studienbereich Informatik, Ingenieurwissenschaften
Relation: https://av.tib.eu/media/55017
Availability: https://av.tib.eu/media/55017
-
4
Authors: et al.
Subject Terms: Real-world case study \and, Deductive Program Verification, Java Modeling Language, Verified Hash Map, Verified Data Structure, Cooperative Verification, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004
File Description: application/pdf
Relation: https://publikationen.bibliothek.kit.edu/1000145727; https://publikationen.bibliothek.kit.edu/1000145727/148721232; https://doi.org/10.5445/IR/1000145727
-
5
Authors:
Subject Terms: dispatch, encapsulation, ghost, Boolean data type, Dynamic dispatch, First-order logic, Inheritance (object-oriented programming), Java Modeling Language, KeY, Liskov substitution principle, Postcondition, Predicate (mathematical logic), Computing and Information Technology
File Description: application/pdf
-
6
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783030452360
Tools and Algorithms for the Construction and Analysis of Systems
Biere, A. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II, pp. 217-234
Hiep, H-D A, Maathuis, O, Bian, J, Boer, F S D, Eekelen, M C J D V & Gouw, S D 2020, Verifying OpenJDK's LinkedList using KeY. in A Biere & D Parker (eds), TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software. Springer, Cham, Lecture Notes in Computer Science, vol. 12079, Theoretical Computer Science and General Issues (LNCS subseries), vol. 12079, pp. 217-234, (Cancelled) 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland, 25/04/20. https://doi.org/10.1007/978-3-030-45237-7_13Subject Terms: Java standard library, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0102 computer and information sciences, 02 engineering and technology, deductive verification, 01 natural sciences, bug, Article, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), case study, Computer Science - Software Engineering, KeY, 0202 electrical engineering, electronic engineering, information engineering, Java Modeling Language, Digital Security
Access URL: https://link.springer.com/content/pdf/10.1007%2F978-3-030-45237-7_13.pdf
http://arxiv.org/abs/1911.04195
https://research.ou.nl/en/publications/1c6b0586-4dbd-45b4-af13-1112432576f3
https://doi.org/10.1007/978-3-030-45237-7_13
https://hdl.handle.net/2066/219372
https://doi.org/10.1007/978-3-030-45237-7_13
https://repository.ubn.ru.nl//bitstream/handle/2066/219372/219372.pdf -
7
Authors:
Source: International Journal on Software Tools for Technology Transfer
International journal on software tools for technology transfer, 17 (6), 729-744Subject Terms: ddc:004, theorem prover, Theorem prover, DATA processing & computer science, 0102 computer and information sciences, 02 engineering and technology, Benchmark, 01 natural sciences, Formal verification, benchmark, 0202 electrical engineering, electronic engineering, information engineering, Java Modeling Language, formal verification, Java modeling language
File Description: application/pdf
-
8
Authors: Klev, Henrik Torland
Source: Klev, Henrik Torland. Verifying EVA: Formal verification of the software for deciding Norwegian governmental elections. Master thesis, University of Oslo, 2020
-
9
Authors:
Source: Concurrency and Computation: Practice and Experience. 25:2290-2306
Subject Terms: Software Engineering, duration, Safety Critical Java (SCJ), 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, VERIFICATION, Theory &, Computer Science, Java Modeling Language (JML), ABSTRACTION, Methods, timing behavior, 0202 electrical engineering, electronic engineering, information engineering, SafeJML, SPECIFICATION, performance, WCET
-
10
Authors:
Source: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems. :40-46
-
11
Authors:
Source: 2010 8th IEEE International Conference on Software Engineering and Formal Methods. :63-72
Subject Terms: Specification patterns, 4. Education, 0202 electrical engineering, electronic engineering, information engineering, Java Modeling Language, Temporaljmlc, 0102 computer and information sciences, 02 engineering and technology, Runtime assertion checking, Temporal specification, 01 natural sciences
-
12
Authors:
Source: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems. :155-163
Subject Terms: Duration, Timing behavior, Performance, 4. Education, Java Modeling Language (JML), 0202 electrical engineering, electronic engineering, information engineering, SafeJML, Safety Critical Java (SCJ), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, WCET
-
13
Authors: et al.
Source: Electronic Notes in Theoretical Computer Science. 240:5-21
Subject Terms: Java Modeling Language (JML), Software Development, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, International Center for Tropical Agriculture (CIAT), Formal Methods, Java, Theoretical Computer Science, Computer Science(all)
-
14
Authors:
Source: Journal of Automated Reasoning. 44:145-174
Subject Terms: 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.)
File Description: application/xml
-
15
Authors:
Source: CLEI Electronic Journal, Vol 4, Iss 2 (2018)
Subject Terms: FOS: Computer and information sciences, Artificial intelligence, Class (philosophy), Software Defect Prediction, formal specifications, 0102 computer and information sciences, 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, 01 natural sciences, Abstract data type, Programming domain, Model-Based Development, Software Architecture, software development model based on transformations, data type, Artificial Intelligence, Specification language, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Programming paradigm, algebraic specifications, Java applet, automatic construction of programs, Arithmetic, Java annotation, Software development, QA75.5-76.95, Object-oriented programming, Computer science, Feature Models, Programming language, Aspect-Oriented Programming, Notation, Electronic computers. Computer science, Computer Science, Physical Sciences, Algebraic specification, Programming language specification, Inductive programming, Eiffel, Java Modeling Language, class specifications, Program Analysis and Verification Techniques, Formal specification, Java, Software, Mathematics, Empirical Studies in Software Engineering, Information Systems
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Computer Sciences, Formal, Logic, Theory and Algorithms, JML, temporal, java modeling language, Verification, Temporal, assertion checkers, specification, logics of programs, preconditions, invariants, assertions, Specification, postconditions, Language
File Description: application/pdf
-
17
Authors:
Source: Electronic Notes in Theoretical Computer Science. 163:45-56
-
18
Authors:
Source: Electronic Notes in Theoretical Computer Science. 157:119-132
-
19
Authors:
Source: 644831.pdf
Subject Terms: Predicate (mathematical logic), KeY, thema EDItEUR::U Computing and Information Technology, Postcondition, encapsulation, Inheritance (object-oriented programming), Java Modeling Language, dispatch, First-order logic, ghost, Liskov substitution principle, Boolean data type, Dynamic dispatch
File Description: image/jpeg; application/pdf
-
20
Authors: et al.
Contributors: et al.
Subject Terms: KeY, Java Modeling Language, deductive verification, red-black trees, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004
File Description: application/pdf
Relation: https://publikationen.bibliothek.kit.edu/1000162878; https://publikationen.bibliothek.kit.edu/1000162878/151443866; https://doi.org/10.5445/IR/1000162878
Full Text Finder 
Nájsť tento článok vo Web of Science