CLOUD Computing is surrounded by hype and commercial supplier claims. However, there is emerging experience of real benefits and alongside a set of challenges for CLOUD Computing to reach wide acceptance. Major problems concern performance, security, privacy and interoperation – all of which have strong quality aspects CLOUD Computing faces not only technical challenges but also legal, business (economic) and environmental (green) challenges. Quality concerns are pervasive.

Mobility is changing the system development landscape due to the fact that it is the actual technological revolution in the use of informations systems technology and the current main driver of economic innovation and development.
The limitations of the mobile interface and the sense of urgency when using it are the first challenges to be overcome which have been worked around succesfully for the past four years.
But mobile computing has some challenges of its own.
Users demand access to data, information and knowledge spread across multiple Cloud Computing platforms, and marshalled in real time. In this regard, the evolution of Web Oriented Architectures should take into consideration the needs of the mobile computing environment. Also, Business Intelligence Architectures, sould include requirements for real time knowledge handling. And the system’s development methodology for mobile computing should also make use of new prototyping architectures adapted to run-time envornments. The real challenge is to be able to integrate coherently a new computing architecture for mobility with new development methodologies adapted to business and user needs that build on distributed knoledge and conextualization in real-time.

This talk presents Formula, a programming language for describing structure, behavior and transformation of software abstractions, i.e., for giving meaning to domain specific languages and their transformations. Formula is a typed declarative language based on constraint logic programming (CLP). Through CLP, domains can compactly be described by types, rules and constraints. Instances of domains, aka models, are just a set of facts. Transformations, also described by rules, transform models into models. Unlike Eclipse or other CLP languages, Formula supports open world modeling: given a set rules, Formula tries to find a model, i.e., a set of facts, where some deductions hold. Model finding is the key validation technique for model-driven development. It allows answering questions like: Given a domain description, is it consistent, i.e., does have at least one model? Given a model, does it fulfill all its constraints? Given a transformation, is it correctness preserving?
An initial implementation of Formula has been completed and has been used to demonstrate its effectiveness in developing a variety of domain specific environments, ranging from authoring and evaluating security policies, via cancer treatment planning, to exploring platform mappings. In this talk, I will highlight the use of Formula for developing an integrated environment for state machine based modeling, verification, and code generation. This environment is used within Microsoft to develop and refine USB 3.0. Initial experience for USB 3.0 shows that the use of Formula leads to rapid and precise domain definitions; that transformations lead to reduction in complexity; and that model finding is key for design analysis.
This is joint work by Wolfram Schulte, Ethan Jackson, Shaz Qadeer, Markus Dahlweid, Sriram Rajamani.

The majority of the US and global economy is now service, rather than manufacturing or trading of tangible goods. Even the development of goods and systems increasingly takes on the character of service. Automation of processes and functions into services (service-oriented architecture, web services, cloud service, security as a service) has dominated software engineering thinking for the past several years. CMMI is a reference model for process improvement meant to enhance the business performance of a wide range of organizations. Recent data from top CMMI users illustrates the quality and other business results that capable organizations get, such as customer satisfaction, higher income, defect reduction, on-time performance, and decreased costs. Eileen Forrester, the lead author of the CMMI for Services, will address strategic opportunity not just for traditional service disciplines in ICT and elsewhere, but for engineers and developers as well.