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: et al.
Contributors: et al.
Source: IET Software. 2:500-514
Subject Terms: 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, Java language, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, 01 natural sciences, liveness, temporal logic, 0202 electrical engineering, electronic engineering, information engineering, JML assertion, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation
File Description: application/pdf
-
3
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
-
4
Authors: Leavens, Gary T.
Source: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering. :573-573
Subject Terms: 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
-
5
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 -
6
Authors:
Source: ~~~~~~~~~~
-
7
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
-
8
Authors: et al.
Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10001 LNCS:193-241
Subject Terms: Solftware Analysis, Software Verification, Software Specification
Access URL: https://research.chalmers.se/publication/246669
-
9
Authors:
Contributors:
Subject Terms: Documentation, Design, Languages, Theory, Verification. Keywords Contracts, Java Modeling Language, JML, reference types, nonnull references
File Description: application/pdf
-
10
Authors: et al.
Source: Procedia Computer Science. 2025, Vol. 270, p5846-5854. 9p.
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1 [Software, Programming Techniques—Aspect-Oriented Programming, D.3.2 [Programming Languages, Languages Classifications—JML General Terms Languages, Experimentation Keywords Design by contract, JML language, JML compiler, aspectoriented programming, AspectJ
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.4022; http://www.cin.ufpe.br/~hemr/papers/SAC08_rebelo.pdf
-
12
Authors: Viana, Thiago
Source: Journal of Computing Science and Engineering. 7:251-262
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
File Description: application/pdf
-
13
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
-
14
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
-
15
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
-
16
Authors: et al.
Contributors: et al.
Subject Terms: programming by contract, reliability General Terms Design, Languages, Verification Keywords Feature Interaction, Software Product Lines, JML, FeatureHouse
File Description: application/pdf
-
17
Authors:
Source: Proceedings of the 33rd International Conference on Software Engineering. :786-795
-
18
Authors: Bruns, Daniel
Source: Informatik-Spektrum. 35:45-49
-
19
Authors: Taylor, Kristina Boysen.
-
20
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
Nájsť tento článok vo Web of Science 
Full Text Finder