Found 3444 results
Filters: News is [Clear All Filters]
MEDICAL SOFTWARE QUALITY: ENSURING CORRECTNESS IN THE CLINICAL ENVRIONMENT. Workshop on Software Quality in Healthcare Systems, co-located with IEEE International Conference on Software Engineering.
.
2016. {Messages Prioritization in IEEE 802.15.4 based WSNs for Roadside Infrastructure}. {International Conference on Connected Vehicles & Expo}.
.
2014. Method transfer using an Open Source Community. OSCOMM 2009 1st International Workshop on Building Sustainable Open Source Communities.
.
2010. A Methods as Action Knowledge: Exploring the Concept of Method Rationale in Method Construction, Tailoring and Use Tenth. IFIP WG8.1 International Workshop on Exploring Modeling Methods in Systems Analysis and Design.
.
2005. Method-User-Centred Method Configuration. The First International Workshop on Situational Requirements Engineering Processes.
.
2005. A Metric-Based Approach to Managing Architecture-Related Impediments in Product Development Flow: An Industry Case Study from Cisco. 2015 IEEE/ACM 2nd International Workshop on Software Architecture and Metrics.
.
2015. .
2022. Micro Analysis of Urban Vehicular Data for Enhanced Information Services for Commuters. 2014 IEEE 79th Vehicular Technology Conference (VTC Spring).
.
2014. Misuse case techniques for mobile privacy. First International Workshop on Mobile Privacy Management (PriMo2011).
.
2011. Mobile Health & Medical Apps: Possible Impediments to Healthcare Adoption. The Seventh International Conference on eHealth, Telemedicine, and Social Medicine eTELEMED 2015The Seventh International Conference on eHealth, Telemedicine, and Social Medicine eTELEMED 2015.
.
2015. Model Checking for Autonomic Systems Specified with ASSL. Proceedings of the First NASA Formal Methods Symposium (NFM 2009).
.
2009. Model checking of security properties: A case study on Human-Robot Interaction processes. 2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS).
.
2017. Model Driven Support for the Service Oriented Architecture Modeling Language. 2nd International Workshop on Principles of Engineering Service Oriented Systems (PESOS ’10).
.
2010. Model-Based Methodologies for Pervasive and Embedded Software. 8th International Workshop MOMPES 2012.
.
2013. A Model-Driven Approach to the Engineering of Multiple User Interfaces. Workshop at the ACM/IEEE 9th Conference on Model Driven Engineering Languages and Systems MoDELS / UML 2006.
.
2006. Model-driven planning and monitoring of long-term software product line evolution. In Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '13).
.
2013. Modeling Rationale over Time to support Product Line Evolution Planning. Sixth International Workshop on Variability Modelling of Software-intensive Systems.
.
2012. Modellbasierte Generierung von Testfallszenarien für den aufwandsoptimierten Integrationstest Informatik. Informatik für Menschen - Workshop Modellbasiertes Testen.
.
2006. Modelling architectural design rules in UML. EMMSAD’08, the Thirteenth International Workshop on Exploring Modeling Methods for Systems Analysis and Design.
.
2008. Modelling Software Engineering Research with RSML. 18th International Conference on Evaluation and Assessment in Software Engineering18th International Conference on Evaluation and Assessment in Software Engineering.
.
2014. Modelling the Haemodialysis Machine with Circus. Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings.
.
2016. Modelling the Information-Seeking Behaviour of Programmers - An Empirical Approach. International workshop on Program Comprehension.
.
2005. Monitoring Fuzzy Temporal Requirements for Service Compositions: Motivations, Challenges and Experimental Results. Workshop on Requirements Engineering for Systems, Services, and Systems of Systems (RES^4), co-located with RE’11.
.
2011. Monitoring the Cloud – CloudMon. the 1st IAIS Workshop on Cloud Computing Research.
.
2013. Motivation and Autonomy in Global Software Development: An Empirical Study. Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering.
.
2017.