Suchergebnisse - "Java Modeling Language (JML)"

Specifying subtypes in Safety Critical Java programs

Autoren: Haddad, Ghaith Leavens, Gary T.

Quelle: Concurrency and Computation: Practice and Experience. 25:2290-2306

Schlagwörter: 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

Specifying subtypes in SCJ programs

Autoren: Haddad, Ghaith Leavens, Gary T.

Quelle: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems. :40-46

Schlagwörter: Java modeling language (JML), safety critical Java (SCJ), timing behavior, 0202 electrical engineering, electronic engineering, information engineering, duration, SafeJML, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, performance, WCET

Zugangs-URL: http://www.eecs.ucf.edu/%7Eleavens/tech-reports/UCF/CS-TR-11-04/TR.pdf

The design of SafeJML, a specification language for SCJ with support for WCET specification

Autoren: Haddad, Ghaith Hussain, Faraz Leavens, Gary T.

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

A Case Study in JML-Assisted Software Development

Autoren: Cataño, Néstor Barraza, Fernando García, Daniel et al.

Quelle: Electronic Notes in Theoretical Computer Science. 240:5-21

Schlagwörter: 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)

Fall Term

Autoren: Ghaith Haddad Ghaith N. Haddad Major Professor et al.

Weitere Verfasser: Ghaith Haddad Ghaith N. Haddad Major Professor et al.

Quelle: http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-12-06/TR.pdf.

Schlagwörter: SafeJML, Safety Critical Java (SCJ, Java Modeling Language (JML, timing behavior, duration, performance, WCET

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.5781

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.5781
http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-12-06/TR.pdf

Testing Library Specifications by Verifying Conformance Tests

Autoren: Kiniry, Joseph Roland Zimmerman, Daniel Hyland, Ralph

Quelle: Lecture Notes in Computer Science ISBN: 9783642304729

Schlagwörter: Static verification, Java Modeling Language (JML), Library conformance test suites, Software engineering process, Formal specification

Dateibeschreibung: application/pdf

A case study in JMLassisted software development

Autoren: Fernando Barraza Pablo Ortega Camilo Rueda et al.

Weitere Verfasser: Fernando Barraza Pablo Ortega Camilo Rueda et al.

Quelle: http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Acbg_09.pdf.

Schlagwörter: Java, Java Modeling Language (JML, Formal Methods, Software Development, International

Dateibeschreibung: 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

Verfügbarkeit: 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

Client-aware checking and information hiding in interface specifications with JML/ajmlc

Autoren: Reb̂elo, Henrique Leavens, Gary T. Lima, Ricardo

Quelle: Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity. :11-12

Schlagwörter: Interface specification languages, Java modeling language (JML), 0202 electrical engineering, electronic engineering, information engineering, Information hiding, Design by contract, 02 engineering and technology, Runtime assertion checking

Uma técnica para verificar não-conformidades em Programas Especificados com Contratos.

A technique for verifying nonconformities in Specified Programs with Contracts.

Autoren: OLIVEIRA, Catuxe Varjão de Santana.

Thesis Advisors: MASSONI, Tiago Lima., GHEYI, Rohit, FARIAS, Adalberto Cajueiro de., CORNÉLIO, Márcio Lopes.

Quelle: Biblioteca de Teses e Dissertações da UFCGUniversidade Federal de Campina GrandeUFCG.

Schlagwörter: Ciência da Computação., Verificação de conformidade em programas, Contratos - conformidade, Desenvolvimento de software, Teste de software, Checagem automática de contratos - software, Definiçãod e conformidade, Desenvolvimento baseado em contratos - software, Java Modeling Language - JML, Software Testing, Oráculo dos testes - software

Verfügbarkeit: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1622

Tutorial on JML, the java modeling language

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

Behavioral Subtyping is Equivalent to Modular Reasoning for Object-oriented Programs

Autoren: Leavens, Gary T. Naumann, David A.

Quelle: Computer Science Technical Reports

Schlagwörter: Behavioral subtyping, modular reasoning, object-oriented programming, recursive types, denotational semantics, functional specification, Java Modeling Language (JML), Software Engineering, Theory and Algorithms, psy, lang

Relation: https://lib.dr.iastate.edu/cs_techreports/354

Verfügbarkeit: https://lib.dr.iastate.edu/cs_techreports/354

Behavioral Subtyping is Equivalent to Modular Reasoning for Object-oriented Programs

Autoren: Leavens, Gary Naumann, David Computer Science

Weitere Verfasser: Leavens, Gary Naumann, David Computer Science

Quelle: archive/lib.dr.iastate.edu/cs_techreports/354/TR.pdf|||Fri Jan 14 23:45:03 UTC 2022

Schlagwörter: Software Engineering, Theory and Algorithms, Behavioral subtyping, modular reasoning, object-oriented programming, recursive types, denotational semantics, functional specification, Java Modeling Language (JML)

Dateibeschreibung: application/pdf

Relation: archive/lib.dr.iastate.edu/cs_techreports/354/; 1335; 5542641; cs_techreports/354; https://dr.lib.iastate.edu/handle/20.500.12876/20187

Verfügbarkeit: https://dr.lib.iastate.edu/handle/20.500.12876/20187
https://hdl.handle.net/20.500.12876/20187

Specifying and Checking Method Call Sequences in JML

Autoren: Cheon, Yoonsik Perumandla, Ashaveena

Quelle: Departmental Technical Reports (CS)

Schlagwörter: call sequences, runtime assertion checking, formal interface specification, design by contract, Java Modeling Language (JML), Java Language, Computer Engineering

Dateibeschreibung: application/pdf

Relation: https://scholarworks.utep.edu/cs_techrep/233; https://scholarworks.utep.edu/context/cs_techrep/article/1232/viewcontent/tr05_04.pdf

Verfügbarkeit: https://scholarworks.utep.edu/cs_techrep/233
https://scholarworks.utep.edu/context/cs_techrep/article/1232/viewcontent/tr05_04.pdf

A Complete Automation of Unit Testing for Java Programs

Autoren: Cheon, Yoonsik Kim, Myoung Yee Perumandla, Ashaveena

Quelle: Departmental Technical Reports (CS)

Schlagwörter: unit testing, test automation, genetic algorithms, runtime assertion checking, formal interface specifications, design by contract, Java Modeling Language (JML), Java Language, Computer Engineering

Dateibeschreibung: application/pdf

Relation: https://scholarworks.utep.edu/cs_techrep/234; https://scholarworks.utep.edu/context/cs_techrep/article/1233/viewcontent/tr05_05.pdf

Verfügbarkeit: https://scholarworks.utep.edu/cs_techrep/234
https://scholarworks.utep.edu/context/cs_techrep/article/1233/viewcontent/tr05_05.pdf