-
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
المؤلفون: Bernardi, S., Flammini, Francesco, 1978, Marrone, S., Mazzocca, N., Merseguer, J., Nardone, R., Vittorini, V.
المصدر: Reliability Engineering & System Safety. 120:112-126
مصطلحات موضوعية: Availability analysis, Formal models, Model-Driven engineering, Railway systems, RAM requirements, UML profiles, Bayesian networks, Dams, Markup languages, Railroads, Rails, Reliability analysis, Unified Modeling Language, Formal model, Railway system, Railroad transportation, Software Technology, Programvaruteknik
وصف الملف: print
-
4
المؤلفون: Bernardi, S., Flammini, Francesco, Senior Lecturer, 1978, Marrone, S., Mazzocca, N., Merseguer, J., Nardone, R., Vittorini, V.
المصدر: Reliability Engineering & System Safety. 120:112-126
مصطلحات موضوعية: Availability analysis, Formal models, Model-Driven engineering, Railway systems, RAM requirements, UML profiles, Bayesian networks, Dams, Markup languages, Railroads, Rails, Reliability analysis, Unified Modeling Language, Formal model, Railway system, Railroad transportation, Software Technology, Programvaruteknik
وصف الملف: print
-
5
المؤلفون: 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
-
6
المؤلفون: 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