المؤلفون: Jnanamurthy, H. K., Henskens, Frans, Paul, David, Wallis, Mark

المساهمون: The University of Newcastle. College of Health, Medicine & Wellbeing, School of Medicine and Public Health

مصطلحات موضوعية: model-driven development, formal specification, formal verification, temporal logic, model-driven architecture

العلاقة: International Journal of Computer Applications in Technology Vol. 67, Issue 4, p. 340-350; http://hdl.handle.net/1959.13/1470315Test; uon:48430

الإتاحة: http://hdl.handle.net/1959.13/1470315Test

المؤلفون: Amine Achouri, Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui

المصدر: International Journal of Computational Science and Engineering. 18:240

مصطلحات موضوعية: Computer science, Programming language, Model transformation, Liveness, Activity diagram, computer.software_genre, Computational Mathematics, Denotational semantics, Computational Theory and Mathematics, Unified Modeling Language, Hardware and Architecture, Modeling and Simulation, Institution (computer science), Model-driven architecture, Formal verification, computer, Software, computer.programming_language

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf68bd175b631800d4e8b872cee18a88Test
https://doi.org/10.1504/ijcse.2019.10019821Test

المؤلفون: Tarek Djouad, Mohammed Benmohammed

المصدر: International Journal of Technology Enhanced Learning. 10:91

مصطلحات موضوعية: Knowledge management, Computer science, business.industry, Computation, 02 engineering and technology, Reuse, Computer Science Applications, Education, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Virtual learning environment, 020201 artificial intelligence & image processing, Architecture, Model-driven architecture, Software engineering, business, computer, Human learning, computer.programming_language

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::16223a9d995163e8f4354697a3b92827Test
https://doi.org/10.1504/ijtel.2018.10008599Test

المؤلفون: Renaud Rioboo, Choukri-Bey Ben-Yelles, Messaoud Abbas

المصدر: International Journal of Information and Communication Technology. 13:34

مصطلحات موضوعية: 010302 applied physics, Finite-state machine, Programming language, Computer science, Computer Networks and Communications, 02 engineering and technology, computer.file_format, computer.software_genre, Formal methods, 01 natural sciences, Computer Science Applications, Automated theorem proving, Transformation (function), Unified Modeling Language, Software_SOFTWAREENGINEERING, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Executable, Model-driven architecture, computer, Software, computer.programming_language, Object Constraint Language, Information Systems

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d918739639728477b9398c260bca9e6Test
https://doi.org/10.1504/ijict.2018.090429Test

المؤلفون: Pavlos Delias, Nektarios Mitakidis, Nikolaos I. Spanoudakis, Efthymios Floros

المصدر: International Journal of Agent-Oriented Software Engineering. 6:211

مصطلحات موضوعية: Process modeling, Process (engineering), Computer science, business.industry, 02 engineering and technology, Agent-oriented software engineering, Business domain, Business Process Model and Notation, Software development process, System requirements, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Model-driven architecture, Software engineering, business, computer, Software, computer.programming_language

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63e52652970849fb93c22110892c5bc5Test
https://doi.org/10.1504/ijaose.2018.10015560Test

المؤلفون: Abdelkrim Amirat, Fouzia Anguel, Nora Bounour

المصدر: International Journal of Intelligent Information and Database Systems. 10:69

مصطلحات موضوعية: Theoretical computer science, Computer science, business.industry, Process (engineering), 020207 software engineering, 02 engineering and technology, Metamodeling, Operator (computer programming), 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Artificial intelligence, Software system, Model-driven architecture, Inference engine, business, Evolution strategy, computer, Logic programming, computer.programming_language, Information Systems

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::48284090306c2753a02ef077f00aba64Test
https://doi.org/10.1504/ijiids.2017.086194Test

المؤلفون: Salma Mouline, Achraf Lyazidi

المصدر: International Journal of Business Process Integration and Management. 8:273

مصطلحات موضوعية: Programming language, Computer science, Semantics (computer science), Model transformation, Strategy and Management, Context (language use), Petri net, Management Science and Operations Research, computer.software_genre, Business Process Model and Notation, Formal language, Model-driven architecture, Business and International Management, computer, Formal verification, computer.programming_language

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::220393871748b2fcc5391359f96e4702Test
https://doi.org/10.1504/ijbpim.2017.088800Test

المؤلفون: Sabah Al-Fedaghi, Ahmed Kareem Abdullah

المصدر: International Journal of Industrial and Systems Engineering. 25:318

مصطلحات موضوعية: System of systems, Engineering, 021103 operations research, Process modeling, business.industry, Process (engineering), 0211 other engineering and technologies, Conceptual model (computer science), Software requirements specification, Context (language use), 02 engineering and technology, Industrial and Manufacturing Engineering, Control and Systems Engineering, Systems Modeling Language, Systems engineering, Model-driven architecture, business, computer, computer.programming_language

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::5ee97200e6947a423f853188eac3b311Test
https://doi.org/10.1504/ijise.2017.10002580Test

المؤلفون: Blerina Bazelli, Eleni Stroulia

المصدر: International Journal of Business Process Integration and Management. 8:1

مصطلحات موضوعية: Engineering, Service (systems architecture), business.industry, Strategy and Management, Management Science and Operations Research, World Wide Web, Set (abstract data type), Data exchange, Cross-platform, Logical data model, Code generation, Business and International Management, IBM, Model-driven architecture, business, computer, computer.programming_language

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::00e65aacad6d428a818d5edfa5258acfTest
https://doi.org/10.1504/ijbpim.2017.082742Test

المؤلفون: Finn Overgaard Hansen, Peter Gorm Larsen, José Antonio Esparza Isasa

المصدر: Esparza Isasa, J A, Larsen, P G & Hansen, F O 2017, ' A holistic approach to energy-aware design of cyber-physical systems ', International Journal of Embedded Systems, vol. 9, no. 3, pp. 283-295 . https://doi.org/10.1504/IJES.2017.10005696Test

مصطلحات موضوعية: Computer science, business.industry, Distributed computing, Cyber-physical system, Wearable computer, Energy consumption, Hardware and Architecture, Embedded system, Model-driven architecture, business, computer, Energy (signal processing), Software, Efficient energy use, computer.programming_language

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2ec83b3ed82f9e29685aabeec4abac0cTest
https://doi.org/10.1504/ijes.2017.084682Test