Search Results - Java Modeling Language
-
1
Authors: David R. Cok
Source: Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. :26-28
-
2
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
-
3
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
-
4
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
-
5
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
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Computer Sciences, 4. Education, Software Engineering, Computer science, JML annotation specification
File Description: application/pdf
-
7
Authors: et al.
Source: Proceedings of the 15th International Software Product Line Conference, Volume 2. :1-8
-
8
Authors:
Source: Proceedings of the 33rd International Conference on Software Engineering. :786-795
-
9
Authors: Bruns, Daniel
Source: Informatik-Spektrum. 35:45-49
-
10
Thesis Advisors: UAM. Departamento de Ingeniería Informática, Modelado e Ingeniería del Software (ING EPS-013)
Source: SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied Computing. New Yok: ACM, 2015. 2087 - 2092
978-145-033-196-8
2087
2092Subject Terms: Annotations, Code generation, Domain-specific languages, Java, Model driven engineering, Informática
Access URL: http://hdl.handle.net/10486/675905
-
11
Authors: et al.
Source: Proceedings of the 2008 ACM symposium on Applied computing. :228-233
-
12
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
-
13
Authors:
Contributors:
Subject Terms: Documentation, Design, Languages, Theory, Verification. Keywords Contracts, Java Modeling Language, JML, reference types, nonnull references
File Description: application/pdf
-
14
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
-
15
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 -
16
Authors:
Source: PeerJ. Computer science [PeerJ Comput Sci] 2024 Nov 13; Vol. 10, pp. e2354. Date of Electronic Publication: 2024 Nov 13 (Print Publication: 2024).
Publication Type: Journal Article
Journal Info: Publisher: PeerJ Inc Country of Publication: United States NLM ID: 101660598 Publication Model: eCollection Cited Medium: Internet ISSN: 2376-5992 (Electronic) Linking ISSN: 23765992 NLM ISO Abbreviation: PeerJ Comput Sci Subsets: PubMed not MEDLINE
-
17
Authors:
Source: 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
Subject Terms: Conformance test, Formal specification, Java Modeling Language, Model-based testing, Real-time Java, Safety-critical Java, Technology Compatibility Kit, Test
Relation: info:eu-repo/semantics/altIdentifier/wos/000413540200014; info:eu-repo/semantics/altIdentifier/pissn/1532-0626; info:eu-repo/semantics/altIdentifier/eissn/1532-0634
-
18
Authors:
Contributors:
Subject Terms: Computer Sciences, Computer science
File Description: application/pdf
-
19
Authors:
Source: ~~~~~~~~~~
-
20
Authors: et al.
Source: Frontiers in Neuroinformatics; 2025, p1-21, 21p
Subject Terms: ARTIFICIAL neural networks, MODELING languages (Computer science), SYNAPSES, C++, SYNTAX (Grammar)
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text