Found 2009 results
Filters: Drupal User is admin
A UTP semantics of pGCL as a homogeneous relation. Integrated Formal Methods 2012Integrated Formal Methods 2012.
.
2012. Verification of Adaptive Systems. Infotech@Aerospace Conference 2012Infotech@Aerospace Conference 2012.
.
2012. Visualization of variability and configuration options. STTT (International Journal on Software Tools for Technology Transfer).
.
2012. .
2011.
An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference onEmbedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on.
.
2011. AdaptStream: Towards Achieving Fluidity in Adaptive Stream-Based Systems. Proceedings of the 26th ACM Symposium On Applied Computing - Dependable and Adaptive Distributed Systems (SAC-DADS 2011).
.
2011. .
2011. The Agile Office: Experience Report from Cisco’s Unified Communications Business Unit. AGILE Conference (AGILE), 2011AGILE Conference (AGILE), 2011.
.
2011. Analysing anaphoric ambiguity in natural language requirements. Requirements Engineering Journal. 16
.
2011. Applying Lean Principles to the Crowdsourcing Process. World Conference on Mass Customization, Personalization and Co-Creation: Bridging Mass Customization and Open InnovationWorld Conference on Mass Customization, Personalization and Co-Creation: Bridging Mass Customization and Open Innovation.
.
2011. An approach for improving the social aspects of the software development process by using a game theoretic perspective: towards a theory of social productivity of software development teams. 6th International Conference on Software and Data Technologies6th International Conference on Software and Data Technologies.
.
2011. An Approach to Evaluating Software Process Adaptation. 11th International SPICE Conference on Process Improvement and Capability dEtermination11th International SPICE Conference on Process Improvement and Capability dEtermination.
.
2011. Architectural Models of Ambient-PRISMA in Channel Ambient Calculus. Software Engineering Workshop (SEW-34).
.
2011. An aspect-oriented, model-driven approach to functional hardware verification. Journal of Systems Architecture.
.
2011. Assessing architectural drift in commercial software development: a case study. Software: Practice and Experience. 41(1)
.
2011. An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. Proceedings of the 34th annual IEEE Software Engineering Workshop.
.
2011. The ASSL Approach to Specifying Self-Managing Embedded Systems. Concurrency and Computation: Practice and Experience.
.
2011. Automated Refactoring for Testability. ICST Workshop on Refactoring and Testing.
.
2011. Bayesian kernel projections for classification of high dimensional data. Statistics and Computing. 21
.
2011. .
2011. Building a Maturity and Capability Model Repository. Int. PROFES 2011Int. PROFES 2011.
.
2011. Challenges of evolving sequential to parallel code: an exploratory review. EVOL/IWPSE 2011EVOL/IWPSE 2011.
.
2011. Code-Imp: A Tool for Automated Search-Based Refactoring. ICSE Workshop on Refactoring Tools (WRT).
.
2011. Collaborative Refinement of Emergency Plans through Public Engagement. 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing7th International Conference on Collaborative Computing: Networking, Applications and Worksharing.
.
2011. The Combination of Agile and Lean in Software Development: An Experience Report Analysis. Agile2011 ConferenceAgile2011 Conference.
.
2011.