King's College London
Browse

Publications

  • Amalgamation of domain specific languages with behaviour
  • Crepe Complèete
  • Salespoint: A Java framework for teaching object-oriented software development
  • Towards contractual interfaces for reusable functional quality attribute operationalisations
  • CEUR Workshop Proceedings
  • Using agile methods to teach programming to 1st-year computer-science undergraduate students
  • Modelling and Analysing Provenance Awareness Infrastructure for SOC systems
  • Crepe Complete: Multi-objective optimisation for your models
  • Transformation reuse
  • Mapping FIXML to OO with aspectual code generators
  • InCLOUDer
  • Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models
  • An Industrial Case Study on Provenance Awareness of Composite Services
  • Towards Constraint-Based Model Types
  • Surrogate-Assisted Optimisation of Composite Applications in Mobile Ad-hoc Networks
  • Surrogate-Assisted Online Optimisation of Cloud IaaS Configurations
  • Modular DSLs for flexible analysis
  • Toward agent dialogue as a tool for capturing software design discussions
  • Towards modular code generators using symmetric language-aware aspects
  • Rigorous identification and encoding of trace-links in model-driven engineering
  • Cross-document dependency analysis for system-of-system integration
  • A role-based approach towards modular language engineering
  • Domain-specific metamodelling languages for software language engineering
  • Formal specification of non-functional properties of component-based software systems: A semantic framework and some applications thereof
  • Towards Using Constructive Type Theory for Verifiable Modular Transformations
  • Symmetric Language-Aware Aspects for Modular Code Generators
  • Proof-Carrying Model-Transformation Components
  • Providing Mainstream Parser Generators with Modular Language Definition Support
  • Correct-by-construction synthesis of model transformations using transformation patterns
  • Towards agent dialogue as a tool for capturing software design discussions
  • Flexible QoS-aware service composition in highly heterogeneous and dynamic service-based systems
  • Towards provenance aware design of service compositions: A methodology for analysing the provenance awareness in service designs
  • Model-based throughput prediction in data center networks
  • Exploring optimal service compositions in highly heterogeneous and dynamic service-based systems
  • Towards a quality modelling language for component-based systems (QML/CS)
  • Behaviour protection in modular rule-based system specifications
  • RELATE: A research training network on engineering and provisioning of service-based cloud applications
  • Workshop co-chairs' welcome
  • A meta-model for performance modeling of dynamic virtualized network infrastructures
  • Towards a meta-model of the Cloud Computing resource landscape
  • Towards design support for provenance awareness: A classification of provenance questions
  • On the reusable specification of non-functional properties in DSLs
  • Runtime infrastructure optimisation in cloud IaaS structures
  • Model-driven performance analysis of rule-based domain specific visual models
  • Improving the quality of distributed composite service applications
  • Welcome
  • Aspect assumptions: A retrospective study of AspectJ developers' assumptions about aspect usage
  • AspectJ code analysis and verification with GASR
  • Requirements Engineering in Model-Transformation Development
  • Correct Reuse of Transformations is Hard to Guarantee
  • Tool support for refinement of non-functional specifications
  • Preface
  • Scheduling real-time components using jitter-constrained streams
  • Rigorous Identification and Encoding of Trace-Links in Model-Driven Engineering
  • Example Specifications of Non-functional Properties of a Simple Counter Application
  • Application of Tracing Techniques in Model-Driven Performance Engineering
  • Modellgetriebene Software-Entwicklung
  • Non-functional Specifications of Components and Systems: A Generic Semantic Framework and Its Applications
  • How dark should a component black-box be? The Reuseware Answer
  • Integrating OCL and Model Transformations in Fujaba
  • Integrating OCL and Model Transformations in Fujaba
  • : Workshop on Models of Non-functional Aspects of Component-Based Systems
  • A Software Development Process Supporting Non-functional Properties
  • Types of Quality of Service Contracts for Component-Based Systems
  • Building Model-Driven Engineering Traceability Classifications
  • Collaborating Languages and Tools: A Study in Feasibility
  • A Close Look at Composition Languages
  • Aspect Orientation for Your Language of Choice
  • Proceedings of the First Workshop on Models for Non-functional Aspects of Component-Based Software (NfC'04).
  • The COMQUAD component container architecture and contract negotiation
  • Formal Specification of Non-functional Properties of Component-Based Software
  • Structure of the Dresden OCL Toolkit
  • Tailor-Made Containers: Modeling Non-functional Middleware Service
  • The Object Constraint Language for UML 2.0 – Overview and Assessment.
  • Relating feature models to other models of a software product line: A comparative study of FeatureMapper and VML
  • Enforceable component-based realtime contracts : Supporting realtime properties from software development to execution
  • Model-driven development for non-functional properties: refinement through model transformation
  • Modeling in software engineering
  • 7th International workshop on Ocl4All: Modelling systems with OCL
  • Detecting architecture instabilities with concern traces: An exploratory study
  • VML* - A family of languages for variability management in software product lines
  • Second international workshop on software research and climate change
  • Scheduling real-time components using jitter-constrained streams
  • The COMQUAD component container architecture
  • Research abstract: Semantic concepts for the specification of non-functional properties of component-based software
  • The COMQUAD component model enabling dynamic selection of implementations by weaving non-functional aspects
  • Workshop on models for non-functional properties of Component-based software - NfC
  • Models for non-functional aspects of component-based software (NfC'04)
  • Ontologies, meta-models, and the model-driven paradigm
  • Towards a semantic framework for non-functional specifications of component-based systems
  • Critical systems development using modeling languages - CSDUML 2006 workshop report
  • Reuseware - Adding modularity to your language of choice
  • Extending grammars and metamodels for reuse: The Reuseware approach
  • Proceedings - International Conference on Software Engineering: Foreword
  • Finding the pattern you need: The design pattern intent ontology
  • Ontology design and reuse with conceptual roles
  • Modeling in software engineering
  • Modeling in software engineering (MiSE 09)
  • Abstracting complex languages through transformation and composition
  • On language-independent model modularisation
  • Framework-based approach to teaching OOT: aims, implementation, and experience
  • Towards pervasive treatment of non-functional properties at design and run-time
  • Explicit Modelling of QoS-Dependencies.
  • CQML +: Enhancements to CQML.
  • Teaching OOT Using a Framework and Both Direct and Net-based Tutoring
  • Object Constraint Language 2.0.
  • We’re Not Gonna Break It! Consistency-Preserving Operators for Efficient Product Line Configuration
  • A family of languages for trustworthy agent-based simulation
  • Graph Consistency as a Graduated Property
  • Finding Subgraphs with Side Constraints
  • Transformative and Troublesome? Students' and Professional Programmers' Perspectives on Difficult Concepts in Programming
  • Guest editorial to the theme section on AI-enhanced model-driven engineering
  • A Methodology for DSML-Assisted Participatory Agent-Based Enterprise Modelling
  • Searching for Optimal Models
  • Towards scalable search-based model engineering with MDEOptimiser scale
  • TMTDyn
  • Interprofessional barriers in patient flow management: an interview study of the views of emergency department staff involved in patient admissions
  • Report on workshop
  • Preface to 2nd International Workshop on Modeling Language Engineering and Execution (MLE 2020)
  • Sustaining and improving graduated graph consistency: A static analysis of graph transformations
  • Model optimisation for feature-class allocation using MDEOptimiser
  • Towards Automatic Generation of Evolution Rules for Model-Driven Optimisation
  • Transformative and Troublesome? Students’ and professional programmers’ perspectives on difficult concepts in programming
  • MDEOptimiser
  • 17thEducators Symposium at MODELS 2021
  • Aspectual Code Generators for Easy Generation of FIXML to OO Mappings
  • Modularity for automated assessment
  • Towards model-based optimisation
  • MDE Intelligence 2021
  • Trustworthy Agent-Based Simulation: The Case for Domain-Specific Modelling Languages
  • A Provenance Model of Composite Services in Service-Oriented Environments
  • InCLOUDer: Effective Partial Migration of Pre-Existing Applications to the Appropriate Cloud Environment
  • Henshin
  • Searching for Optimal Models
  • A generic framework for representing and analyzing model concurrency
  • Interface Contracts for Workflow+ Models
  • Finding the Right Way to Rome: Effect-Oriented Graph Transformation

Usage metrics

Co-workers & collaborators

Antonio Bucchiarone

Antonio Bucchiarone

Steffen Zschaler's public data