Concept
Computer-aided software engineering
Related publications (38)
Model Checking of Consensus Algorithms
We show for the first time that standard model checking allows one to completely verify asynchronous algorithms for solving consensus, a fundamental problem in fault-tolerant distributed computing. Model checking is a powerful verification methodology base ...
2006Object-oriented approach for dynamic system modelling and simulation
Software engineering always cares to provide solutions for building applications as close as possible to what they should be, according to the requirements and the final users needs. Systems behavior simulation is a very common application to virtually rep ...
EPFL2005Software and the Concurrency Revolution
Leveraging the full power of multicore processors demands new tools and new thinking from the software industry.
Concurrency has long been touted as the "next big thing" and "the way of the future," but for the past 30 years, mainstream software developme ...
ACM2005Making Metamodels Aware of Concrete Syntax
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling languages. While the definition of the abstract syntax is standardized by the 4-layer metamodel architecture of the OMG, most ...
2005Parametric Architectural Design: Mass Customization Concepts and Projects in Architecture
This paper outlines some of our recent research and built projects in the combined use of Computer Aided Architectural Design (CAAD) programming and Computer Aided Architectural Manufacturing (CAAM). The results of our work are ‘proof of concept’ built-pro ...
Hong Kong University of Science & Technology - HKUST2005Righting Software
What tools do we use to develop and debug software? Most of us rely on a full-screen editor to write code, a compiler to translate it, a source-level debugger to correct it, and a source-code control system to archive and share it. These tools originated i ...
IEEE2004A Concern-Oriented Approach to Software Architecture
A major cause of many complications in the field of software architectures is the lack of appropriate abstractions for separating, combining and encapsulating concerns of various kinds in architectural descriptions. Architectures of most complex softwa ...
2003Model Transformation the Heart and Soul of Model-Driven Software Development
The motivation behind model-driven software development is to move the focus of work from programming to solution modeling. The model-driven approach has a potential to increase development productivity and quality by describing important aspects of a solu ...
2003Generic Concern-Oriented Model Transformations Meet AOP
Abstract. Separation of concerns allows developers to manage large distributed systems by tackling one problem at a time. Model transformations refine models along one concern-dimension. Aspects encapsulate implementation details that cut across the bounda ...
2003