-
1
المؤلفون: Bernhard Steffen, Falk Howar, Maik Merten, Malte Isberner
المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change ISBN: 9783642340253
ISoLA (1)مصطلحات موضوعية: Register (sociolinguistics), Finite-state machine, Theoretical computer science, Third party, Basis (linear algebra), Programming language, Computer science, Interface (Java), Active learning, Regression testing, computer.software_genre, computer, Formal verification
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::5080ca30a0dc83f4f6a8b20b375f6863Test
https://doi.org/10.1007/978-3-642-34026-0_43Test -
2
المؤلفون: Sounaka Mishra, Manoranjan Satpathy, Kripasindhu Sikdar
المصدر: Computational Science-ICCS 2001 ISBN: 9783540422334
International Conference on Computational Science (2)مصطلحات موضوعية: Register (sociolinguistics), Functional programming, Eager evaluation, Computer science, Order (business), Programming language, Context (language use), Expression (computer science), computer.software_genre, Heuristics, computer, Algorithm
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::200755f0825106b5c5afaa81bc9bb14fTest
https://doi.org/10.1007/3-540-45718-6_15Test -
3
المؤلفون: Jerry Walter Malcolm, Pnina Vortman, Gabi Zodik, Yardena Peres
المصدر: Object-Oriented Technologys ISBN: 9783540640394
ECOOP Workshopsمصطلحات موضوعية: Register (sociolinguistics), Application object, Human–computer interaction, Computer science, Order (business), Programming language, Control (management), Code (cryptography), Dialog box, computer.software_genre, computer, Outcome (game theory)
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::6567b621d46318f148c74189d48cbbc6Test
https://doi.org/10.1007/3-540-69687-3_26Test