Suchergebnisse - Java Modeling Language (JML~
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Computer Sciences, 4. Education, Software Engineering, Computer science, JML annotation specification
Dateibeschreibung: application/pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Quelle: IET Software. 2:500-514
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
3
Autoren:
Weitere Verfasser:
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-299Schlagwörter: Digital Security
-
4
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
-
5
Autoren:
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 -
6
Autoren:
Quelle: ~~~~~~~~~~
-
7
Autoren:
Weitere Verfasser:
Quelle: ftp://ftp.cs.iastate.edu/pub/techreports/TR02-05/TR.pdf
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
8
Autoren: 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
-
9
Autoren:
Weitere Verfasser:
Schlagwörter: Documentation, Design, Languages, Theory, Verification. Keywords Contracts, Java Modeling Language, JML, reference types, nonnull references
Dateibeschreibung: application/pdf
-
10
Autoren: et al.
Quelle: Procedia Computer Science. 2025, Vol. 270, p5846-5854. 9p.
-
11
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: Viana, Thiago
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
-
13
Autoren:
Weitere Verfasser:
Dateibeschreibung: 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
Autoren:
Quelle: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems. :155-163
Schlagwörter: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
16
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: programming by contract, reliability General Terms Design, Languages, Verification Keywords Feature Interaction, Software Product Lines, JML, FeatureHouse
Dateibeschreibung: application/pdf
-
17
Autoren:
Quelle: Proceedings of the 33rd International Conference on Software Engineering. :786-795
-
18
Autoren: Bruns, Daniel
Quelle: Informatik-Spektrum. 35:45-49
-
19
Autoren: Taylor, Kristina Boysen.
-
20
Autoren:
Weitere Verfasser:
Schlagwörter: public static double sqrt(double x)
Dateibeschreibung: 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