-
1
المؤلفون: Marrone, Stefano, Flammini, Francesco, Senior Lecturer, 1978, Mazzocca, Nicola, Nardone, Roberto, Vittorini, Valeria
المصدر: International Journal on Software Tools for Technology Transfer. 16(6):669-683
مصطلحات موضوعية: Critical Systems, Model-Driven, Railway Systems, Transformations, UML Profiles, Verification and Validation, High level languages, Life cycle, Mathematical transformations, Railroad transportation, Railroads, Specifications, Model-driven Engineering, Non-functional requirements, Railway system, System development life cycles, Test case specifications, Unified Modeling Language, Software Technology, Programvaruteknik
وصف الملف: print
-
2
المؤلفون: Marrone, Stefano, Flammini, Francesco, Senior Lecturer, 1978, Mazzocca, Nicola, Nardone, Roberto, Vittorini, Valeria
المصدر: International Journal on Software Tools for Technology Transfer. 16(6):669-683
مصطلحات موضوعية: Critical Systems, Model-Driven, Railway Systems, Transformations, UML Profiles, Verification and Validation, High level languages, Life cycle, Mathematical transformations, Railroad transportation, Railroads, Specifications, Model-driven Engineering, Non-functional requirements, Railway system, System development life cycles, Test case specifications, Unified Modeling Language, Software Technology, Programvaruteknik
وصف الملف: print
-
3
المؤلفون: Flammini, Francesco, 1978, Marrone, Stefano, Mazzocca, Nicola, Nardone, Roberto, Vittorini, Valeria
المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012 Lecture Notes in Computer Science. :190-204
مصطلحات موضوعية: Critical Systems, Domain Specific Languages, Model-Driven Engineering, Railway Systems, Verification & Validation, Computer based control systems, Computer-based system, Development process, Enabling techniques, Flexible tool, Formal modeling, Functional requirement, Industrial context, Industrial settings, Message delivery, Model driven approach, Model-driven, Non-functional, Performance evaluation, Railway system, Recent trends, Signalling systems, System property, Test case generation, Verification and validation, Verification process, Artificial intelligence, Software engineering, Software Technology, Programvaruteknik
وصف الملف: print
-
4
المؤلفون: Flammini, Francesco, Senior Lecturer, 1978, Marrone, Stefano, Mazzocca, Nicola, Nardone, Roberto, Vittorini, Valeria
المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012 Lecture Notes in Computer Science. :190-204
مصطلحات موضوعية: Critical Systems, Domain Specific Languages, Model-Driven Engineering, Railway Systems, Verification & Validation, Computer based control systems, Computer-based system, Development process, Enabling techniques, Flexible tool, Formal modeling, Functional requirement, Industrial context, Industrial settings, Message delivery, Model driven approach, Model-driven, Non-functional, Performance evaluation, Railway system, Recent trends, Signalling systems, System property, Test case generation, Verification and validation, Verification process, Artificial intelligence, Software engineering, Software Technology, Programvaruteknik
وصف الملف: print