Search Results - "Java Modeling Language (JML"
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Computer Sciences, 4. Education, Software Engineering, Computer science, JML annotation specification
File Description: application/pdf
-
2
Authors:
Contributors:
Source: 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-299Subject Terms: Digital Security
-
3
Authors:
Source: 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 Terms: 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 -
4
Authors:
Source: ~~~~~~~~~~
-
5
Authors:
Contributors:
Source: ftp://ftp.cs.iastate.edu/pub/techreports/TR02-05/TR.pdf
Subject Terms: Software/Program Verification — Assertion checkers, class invariants, formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, monitors, testing tools, theory, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants, pre- and postconditions, specification techniques
File Description: application/pdf
-
6
Authors:
Contributors:
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.82.790; http://www.cs.kun.nl/~erikpoll/publications/jmllogic.pdf
-
7
Authors:
Contributors:
Subject Terms: public static double sqrt(double x)
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.1311; http://www.cs.toronto.edu/~chechik/courses05/csc410/readings/jmldbc.pdf
-
8
Authors:
Contributors:
File Description: application/pdf
-
9
Authors: Taylor, Kristina Boysen.
-
10
Authors:
Contributors:
Source: archive/lib.dr.iastate.edu/cs_techreports/307/TR08_03.pdf|||Fri Jan 14 23:29:14 UTC 2022
Subject Terms: Software Engineering, JML annotation specification
File Description: application/pdf
Relation: archive/lib.dr.iastate.edu/cs_techreports/307/; 1328; 5540321; cs_techreports/307; https://dr.lib.iastate.edu/handle/20.500.12876/20136
-
11
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
-
12
Authors:
Contributors:
Source: archive/lib.dr.iastate.edu/cs_techreports/259/tr02_05a.pdf|||Fri Jan 14 22:59:42 UTC 2022
Subject Terms: Software Engineering, runtime assertion checking, formal methods, formal interface specification, programming by contract, JML language, Java language
File Description: application/pdf
Relation: archive/lib.dr.iastate.edu/cs_techreports/259/; 1259; 5473697; cs_techreports/259; https://dr.lib.iastate.edu/handle/20.500.12876/20082
-
13
Authors: Ali Hamie
Source: 2006 Seventh International Conference on Parallel & Distributed Computing, Applications & Technologies (PDCAT'06); 2006, p411-414, 4p
-
14
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
-
15
Authors:
Source: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems. :40-46
-
16
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)
-
17
Authors: et al.
Contributors: et al.
Subject Terms: SafeJML, Safety Critical Java (SCJ, Java Modeling Language (JML, timing behavior, duration, performance, WCET
File Description: application/pdf
-
18
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783642304729
Subject Terms: Static verification, Java Modeling Language (JML), Library conformance test suites, Software engineering process, Formal specification
File Description: application/pdf
-
19
Authors: et al.
Contributors: et al.
Subject Terms: Java, Java Modeling Language (JML, Formal Methods, Software Development, International
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.610.1123; http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Acbg_09.pdf
-
20
Authors: et al.
Source: Procedia Computer Science. 2025, Vol. 270, p5846-5854. 9p.
Nájsť tento článok vo Web of Science 
Full Text Finder