Found 3444 results
Filters: News is [Clear All Filters]
Model Driven Engineering of Cross-Layer Monitoring and Adaptation. International Conference on Model-Driven Engineering and Software DevelopmenInternational Conference on Model-Driven Engineering and Software Developmen.
.
2013. A Model for Requirements Change Management: Implementation of CMMI Level 2 Specific Practice. 9th International Conference on Product Focused Software Process Improvement9th International Conference on Product Focused Software Process Improvement.
.
2008. Model-Based Diagnosis using Variable-Fidelity Modeling. 27th Itnl. Workshop on Model-Based Diagnosis.
.
2016. Model-Based Testing Design for Embedded Automotive Software. SAE 2009 World Congress, Model-Based Design of Embedded SystemsSAE 2009 World Congress, Model-Based Design of Embedded Systems.
.
2009. Model-Based Testing of Software Product Lines. 7th International Conference on Software Testing, ICSTEST 20067th International Conference on Software Testing, ICSTEST 2006.
.
2006. Model-Centered Customizable Architectural Design Decisions Management. The 21st Australian Software Engineering Conference (ASWEC)The 21st Australian Software Engineering Conference (ASWEC).
.
2010. Model-Driven Derivation of Product Architectures. 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007).
.
2007. Model-driven development and evolution of customized user interfaces. In Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems (EICS '13)In Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems (EICS '13).
.
2013. Model-Driven Development of Interactive and Integrated 2D and 3D User Interfaces using MML. 16th International Conference on Web3D ACM Conference16th International Conference on Web3D ACM Conference.
.
2011. Model-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future Challenges. Leveraging Applications of Formal Methods, Verification and Validation. Practice.
.
2022. Model-Driven-Design of NREn Bridging Application: Case Study AfgREN. 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC).
.
2020. Modeling and Simulation of Multi-tier Enterprise IT System . Pacific Asia Conference on Information Systems.
.
2018. Modeling Service-Oriented Architectures of Mobile Applications by Extending SoaML with Ambients. Proceedings of the 35th Euromicro Software Engineering and Advanced Applications (SEAA) ConferenceProceedings of the 35th Euromicro Software Engineering and Advanced Applications (SEAA) Conference.
.
2009. Modeling the Image-processing Behavior of the NASA Voyager Mission with ASSL. The 3rd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT’09)The 3rd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT’09).
.
2009. Modelling and Analysing Resilient Cyber-physical Systems. 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.
.
2019. Modelling and Verification of a Time-triggered Networking Protocol. ICONS’06ICONS’06.
.
2007. Modelling and Verification of a Time-triggered Networking Protocol ICONS’06. IEEE Computer SocietyIEEE Computer Society.
.
2006. Modelling Android applications through static analysis and systematic exploratory testing . International Conference on Dependable Systems and Their Applications .
.
2023. Modelling Android applications through static analysis and systematic exploratory testing. 2023 10th International Conference on Dependable Systems and Their Applications (DSA).
.
2023. Modelling Business Transactions across Service Supply Chain Networks. 20th International Conference on Information Systems Development (ISD2011)20th International Conference on Information Systems Development (ISD2011).
.
2011. Modelling Care Pathways in a Connected Health Setting. Third International Symposium on Foundations of Health Information Engineering and SystemsThird International Symposium on Foundations of Health Information Engineering and Systems.
.
2013. Modelling Flash Devices with FDR: Progress and Limits. FIT’10: International Conference on Frontiers of Information Technology ProceedingsFIT’10: International Conference on Frontiers of Information Technology Proceedings.
.
2010. Modelling Hardware Verification Concerns Specified in the e Language: An Experience Report. Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD) Industry TrackProceedings of the International Conference on Aspect-Oriented Software Development (AOSD) Industry Track.
.
2009. Modelling Support for Mobile Ambients in Service Oriented Architecture. IEEE International Conference on Mobile Services (MS 2012)IEEE International Conference on Mobile Services (MS 2012).
.
2012. .
2007.