Found 734 results
Filters: First Letter Of Last Name is H [Clear All Filters]
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. Building a Maturity and Capability Model Repository. Int. PROFES 2011Int. PROFES 2011.
.
2011. Combining design and engineering of interactive systems through models and tools (ComDeisMoto). INTERACT’11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction.
.
2011. Considerations on the UK re-arrest hazard rate analysis. Journal of Law, Probability and Risk. 10(4)
.
2011. A Control Theory Based Approach for Self-Healing of Un-handled Runtime Exceptions. 8th International Conference on Autonomic Computing (ICAC 2011)8th International Conference on Autonomic Computing (ICAC 2011).
.
2011. Designing and Delivering Public Services on the Cloud. International Conference on Cloud Computing and Service ScienceInternational Conference on Cloud Computing and Service Science.
.
2011. Designing and Delivering Public Services on the Cloud. International Conference on Cloud Computing and Service ScienceInternational Conference on Cloud Computing and Service Science.
.
2011. Developing Fault-Prediction Models: What the Research Can Show Industry. IEEE Software. 28
.
2011. Developing Model-Checking Mechanisms for ASSL: An Experience Report. Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM2011)Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM2011).
.
2011. Development of a Software Quality Plan for Hospitals: An Irish Perspective. HEALTHINF 2011 International Conference on Health InformaticsHEALTHINF 2011 International Conference on Health Informatics.
.
2011. Execution trace representation and analysis using ontologies and reasoners. Runtime Verification.
.
2011. Families (of Products) in Space. Software Product Line ConferenceSoftware Product Line Conference.
.
2011. FastFIX: An Approach to Self-Healing. Proceedings of the Federated Conference on Computer Science and Information SystemsProceedings of the Federated Conference on Computer Science and Information Systems.
.
2011. FlowTalk: Language Support for Long-Latency Operations in Embedded Devices. IEEE Transactions on Software Engineering. 37
.
2011. A Framework for Public Service Customization. The International Journal of Information Studies.
.
2011. Fundamentals of Designing Complex Aerospace Software Systems. Proceedings of Complex Systems Design & Management (CSDM2011)Proceedings of Complex Systems Design & Management (CSDM2011).
.
2011. How Amendments to the Medical Device Directive affect the Development of Medical Device Software. European Systems and Software Process Improvement and Innovation Conference, EuroSPI 2011European Systems and Software Process Improvement and Innovation Conference, EuroSPI 2011.
.
2011. How Can Software SMEs Become Medical Device Software SMEs. European Systems and Software Process Improvement and Innovation Conference EuroSPI 2011European Systems and Software Process Improvement and Innovation Conference EuroSPI 2011.
.
2011. Knowledge Representation and Awareness in Autonomic Service-Component Ensembles – State of the Art. Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISCORC 2011)Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computin.
.
2011. Knowledge Representation and Reasoning for Intelligent Software Systems. IEEE Computer. 44
.
2011. The LEGO Maturity & Capability Model Approach. Proceedings of 5WCSQ, 5th World Congress on Software QualityProceedings of 5WCSQ, 5th World Congress on Software Quality.
.
2011. Model-Driven Development of Interactive Multimedia Applications with MML. Model-Driven Development of Advanced User InterfacesModel-Driven Development of Advanced User Interfaces.
.
2011. Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods. Journal of Systems and Software Modelling. 10
.
2011. 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.