المؤلفون: Mostowski, Wojciech, Ulbrich, Mattias

مصطلحات موضوعية: dispatch, encapsulation, ghost, Boolean data type, Dynamic dispatch, First-order logic, Inheritance (object-oriented programming), Java Modeling Language, KeY, Liskov substitution principle, Postcondition, Predicate (mathematical logic), thema EDItEUR::U Computing and Information Technology

وصف الملف: application/pdf

URL الوصول: http://library.oapen.org/handle/20.500.12657/30616

المؤلفون: Mostowski, Wojciech, Arts, Thomas, Hughes, John

المصدر: EPTCS 244, 2017, pp. 184-199

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1703.06574

المؤلفون: Entekhabi, Sina, Mostowski, Wojciech, Mousavi, Mohammadreza

المصدر: Entekhabi , S , Mostowski , W & Mousavi , M 2023 , ' Automated and Efficient Test-Generation for Grid-Based Multiagent Systems ' , ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY .

وصف الملف: application/pdf

الاتاحة: https://kclpure.kcl.ac.uk/portal/en/publications/947e780d-977e-453f-acda-28ec9d5979ba
https://kclpure.kcl.ac.uk/ws/files/227377890/Automated_and_Efficient_Test_Generation_for_Grid_Based_Multiagent_Systems.pdf

المؤلفون: Ernst, Gidon, Huisman, Marieke, Mostowski, Wojciech, 1976, Ulbrich, Mattias

المصدر: Lecture Notes in Computer Science. 11429:176-195

مصطلحات موضوعية: Verify This, Program verification, Specification languages, Tool development, Competition

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-41109
https://doi.org/10.1007/978-3-030-17502-3_12

المؤلفون: Mostowski, Wojciech, 1976

المصدر: AUTO-CAAS The Journal of logical and algebraic methods in programming. 103:31-45

مصطلحات موضوعية: Model-based testing, Fault injection, Fault models, Multi-purpose models, Functional testing, Robustness testing

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-38438
https://hh.diva-portal.org/smash/get/diva2:1266512/FULLTEXT01.pdf

المؤلفون: Aramrattana, Maytheewat, 1988, Detournay, J., Englund, Cristofer, 1977, Frimodig, Viktor, Jansson, Oscar Uddman, Larsson, Tony, 1950, Mostowski, Wojciech, 1976, Díez Rodríguez, Víctor, 1992, Rosenstatter, Thomas, Shahanoor, Golam

المصدر: IEEE transactions on intelligent transportation systems (Print). 19(4):1248-1261

مصطلحات موضوعية: Adaptive cruise control, Cruise control, Decision making, Autonomous driving, Cooperative adaptive cruise control, Cooperative driving, GCDC 2016, IEEE 802.11p, platooning, Cooperative communication

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-38712
https://doi.org/10.1109/TITS.2017.2752359

المؤلفون: Mostowski, Wojciech, 1976, Ulbrich, Mattias

المصدر: VerCors AUTO-CAAS Lecture Notes in Computer Science. 9800:238-267

مصطلحات موضوعية: Modular specification, Design by Contract, Dynamic dispatch, abstract predicates, JML

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-32127
https://doi.org/10.1007/978-3-319-46969-0_7

المؤلفون: Mostowski, Wojciech, 1976

المصدر: VerCors AUTO-CAAS Verified Software Lecture Notes in Computer Science. :124-141

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-30171
https://hh.diva-portal.org/smash/get/diva2:894284/FULLTEXT01.pdf

المؤلفون: Mostowski, Wojciech, 1976

المصدر: The Logic of Software. A Tasting Menu of Formal Methods Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :370-381

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-49331

المؤلفون: Entekhabi, Sina, Mostowski, Wojciech, 1976, Mousavi, Mohammad Reza, 1978, Arts, Thomas

المصدر: Testing Software and Systems Lecture Notes in Computer Science. :73-89

مصطلحات موضوعية: Autonomous agents, Domain specific languages, Model-based testing, Scenario-based testing, Test input generation, Test selection

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-49111

المؤلفون: Mostowski, Wojciech, Ulbrich, Mattias

مصطلحات موضوعية: Dispatch, Encapsulation, Ghost, Ciencia de la computación, Tecnología de la información, Sociedad de la información

وصف الملف: 30 páginas; application/pdf

Relation: https://directory.doabooks.org/handle/20.500.12854/30241; http://hdl.handle.net/20.500.12010/17467

الاتاحة: https://hdl.handle.net/20.500.12010/17467
https://directory.doabooks.org/handle/20.500.12854/30241
https://hdl.handle.net/20.500.12854/30241

المؤلفون: David, Jennifer, Mostowski, Wojciech, Aramrattana, Maytheewat, Fan, Yuantao, Varshosaz, Mahsa, Karlsson, Patrick, Roden, Marcus, Bogga, Anders, Carlsen, Jakob, Johansson, Emil, Andersson, Emil

مصطلحات موضوعية: drones, UAV, competition, search and rescue, Robotics, Robotteknik och automation

وصف الملف: application/pdf

Relation: http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-40830

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-40830

المؤلفون: Ahrendt, Wolfgang, 1967, Mostowski, Wojciech, 1976, Paganelli, Gabriele, 1982

المصدر: 10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012), Copenhagen, October 2012. :145-154

مصطلحات موضوعية: Coverage criteria, Test case generation, Formal Specification, KeY systems, Test generations, Java source codes, Modified conditions, Formal verifications, Symbolic execution, Real-time Java

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/168847
http://publications.lib.chalmers.se/records/fulltext/168847/local_168847.pdf

المؤلفون: Entekhabi, Sina, Mostowski, Wojciech, Mousavi, Mohammad Reza

مصطلحات الفهرس: autonomous agents, constraint solving, domain specific languages, grid-based systems, multiagent systems, test input filtering, Test input generation, test selection, Computer Sciences, Datavetenskap (datalogi), Article in journal, info:eu-repo/semantics/article, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-52732
ACM Transactions on Software Engineering and Methodology, 1049-331X, 2023, 33:1

المؤلفون: Entekhabi, Sina, Mostowski, Wojciech, Mousavi, Mohammad Reza

المصدر: ACM Transactions on Software Engineering & Methodology; Jan2024, Vol. 33 Issue 1, p1-32, 32p

مصطلحات موضوعية: MULTIAGENT systems, RESEARCH questions, TEST design, STATISTICS

المؤلفون: Ulbrich, Mattias, Mostowski, Wojciech

المصدر: MODID-eea0d14d732:Springer Open

مصطلحات موضوعية: Computers, bisacsh:COM000000

وصف الملف: application/pdf

Relation: https://openresearchlibrary.org/viewer/895ecb9e-4831-4869-8e2e-364894ad800c; https://openresearchlibrary.org/ext/api/media/895ecb9e-4831-4869-8e2e-364894ad800c/assets/external_content.pdf

الاتاحة: https://openresearchlibrary.org/viewer/895ecb9e-4831-4869-8e2e-364894ad800c
https://openresearchlibrary.org/ext/api/media/895ecb9e-4831-4869-8e2e-364894ad800c/assets/external_content.pdf
https://doi.org/10.1007/978-3-319-46969-0

المؤلفون: Sidorenko, Galina, 1985, Mostowski, Wojciech, 1976, Vinel, Alexey, 1983, Sjöberg, Jeanette, 1976, Cooney, Martin, 1980

المصدر: 2021 30th IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2021. :214-221

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-46083

المؤلفون: Huisman, Marieke, Monahan, Rosemary, Müller, Peter, Mostowski, Wojciech, 1976, Ulbrich, Mattias

المصدر: Karlsruhe Reports in Informatics.

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-35742
https://doi.org/10.5445/ir/1000077160

المؤلفون: Mostowski, Wojciech, Ulbrich, Mattias

مصطلحات موضوعية: ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-1-4503-3249-1; https://publikationen.bibliothek.kit.edu/1000052968

الاتاحة: https://publikationen.bibliothek.kit.edu/1000052968

المؤلفون: Mostowski, Wojciech, 1976

المصدر: Deductive Software Verification Lecture Notes in Computer Science. :177-203

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-43704