-
1دورية أكاديمية
المؤلفون: Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 187, Iss Proc. F-IDE 2015, Pp 42-55 (2015)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2
المؤلفون: Julian Tschannen, Carlo A. Furia, Christopher M. Poskitt
المساهمون: Dubois, Catherine, Masci, Paolo, Méry, Dominique
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 187, Iss Proc. F-IDE 2015, Pp 42-55 (2015)
Electronic Proceedings in Theoretical Computer Science, 187
Proceedings Second International Workshop on Formal Integrated Development Environment (F-IDE 2015), Oslo, Norway, June 22, 2015مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Pluralistic walkthrough, Cognitive walkthrough, Computer science, Computer Science - Human-Computer Interaction, Usability inspection, 02 engineering and technology, lcsh:QA75.5-76.95, Human-Computer Interaction (cs.HC), Usability lab, Computer Science - Software Engineering, Data processing, computer science, 020204 information systems, Heuristic evaluation, Usability engineering, 0202 electrical engineering, electronic engineering, information engineering, Web usability, business.industry, lcsh:Mathematics, 020207 software engineering, Usability, lcsh:QA1-939, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), 020201 artificial intelligence & image processing, lcsh:Electronic computers. Computer science, ddc:004, business, Software engineering
وصف الملف: application/application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::79dcddb325fdea539bf527fb4c52b444
https://doi.org/10.4204/eptcs.187.4 -
3
المؤلفون: Nadia Polikarpova, Carlo A. Furia, Julian Tschannen
المساهمون: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory, Polikarpova, Nadezhda
المصدر: Springer London
Formal Aspects of Computing, 30 (5)مصطلحات موضوعية: Loop invariant, Correctness, Deductive verification, SMT, Object-oriented software, Containers, AutoProof, Computer science, 02 engineering and technology, Separation logic, computer.software_genre, Theoretical Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Formal verification, business.industry, Programming language, 020207 software engineering, computer.file_format, Load balancing (computing), Hash table, Theory of computation, 020201 artificial intelligence & image processing, Executable, Software engineering, business, computer, Software
وصف الملف: application/pdf; application/application/pdf
-
4
المؤلفون: Martin Nordio, Julian Tschannen, Carlo A. Furia
المصدر: International Journal on Software Tools for Technology Transfer, 17 (6)
مصطلحات موضوعية: Functional verification, Computer science, business.industry, Programming language, Automated Program verification, Verification challenges, Experience report, Eiffel, Functional correctness, computer.software_genre, Binary search tree, Theory of computation, Prefix sum, Verification, Software engineering, business, computer, Software, Information Systems, computer.programming_language
وصف الملف: application/application/pdf
-
5
المؤلفون: Julian Tschannen, Carlo A. Furia, Nadia Polikarpova
المصدر: FM 2015: Formal Methods ISBN: 9783319192482
FMمصطلحات موضوعية: Correctness, Programming language, Computer science, computer.software_genre, Eiffel, computer, Formal verification, Hash table, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::687109bc6c56a82ef7734bd85e63f7ef
https://doi.org/10.1007/978-3-319-19249-9_26 -
6
المؤلفون: Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova
المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662466803
مصطلحات موضوعية: Functional specification, Object-oriented programming, Functional verification, Computer science, business.industry, business, Software engineering, Automation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1f180d7e024ef4ad2230a2317d457d7f
https://doi.org/10.1007/978-3-662-46681-0_53 -
7
المؤلفون: Julian Tschannen, Carlo A. Furia, Martin Nordio
المصدر: International Journal on Software Tools for Technology Transfer.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=erc_________::a384ba1d67c89ebf229d1c2dbb2cf71e
-
8
المؤلفون: Bertrand Meyer, Carlo A. Furia, Julian Tschannen, Nadia Polikarpova
المصدر: Lecture Notes in Computer Science ISBN: 9783319064093
مصطلحات موضوعية: Annotation, Theoretical computer science, Computer science, Invariant (mathematics), Eiffel, computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9c917be29a5e35f4328f4cac90b03eb1
https://doi.org/10.1007/978-3-319-06410-9_35 -
9
المؤلفون: Carlo A. Furia, Julian Tschannen, Martin Nordio, Bertrand Meyer
المصدر: Lecture Notes in Computer Science
Verified Software: Theories, Tools, Experiments ISBN: 9783642541070
VSTTEمصطلحات موضوعية: Loop unrolling, High-level verification, Functional verification, Computer science, Programming language, Runtime verification, 020207 software engineering, 02 engineering and technology, computer.software_genre, Eiffel, Intelligent verification, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, computer, Software verification, computer.programming_language, Java Modeling Language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::62e43a12dc0bd26678700cecd701a6f6
-
10
المؤلفون: Carlo A. Furia, Julian Tschannen, Bertrand Meyer, Martin Nordio
المصدر: Lecture Notes in Computer Science ISBN: 9783642357459
LASER Summer Schoolمصطلحات موضوعية: Object-oriented programming, Functional verification, Programming language, Computer science, Exception handling, Spec#, computer.software_genre, USable, Eiffel, computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::77c83e527bf0837ad190d5e3956bc7a1
https://doi.org/10.1007/978-3-642-35746-6_5