Titlebook: Software Technologies; 8th International Jo José Cordeiro,Marten van Sinderen Conference proceedings 2014 The Editor(s) (if applicable) and

項(xiàng)目

小溪

Applying a Knowledge Management Technique to Improve Risk Assessment and Effort Estimation of Health changes in process and also in business. The company adapted their existing effort estimation process to be in line with the model that was created, and the use of a mathematically-based model also led to an increase in the number of projects being delegated to this company by other company branches worldwide.

CHANT

2否定

Language Design and Implementation via the Combination of Embedding and Parsingage to a standalone one. Lessons learnt from a project, run in industry-university cooperation and using the presented method, are discussed. Based on these results, a cost model is established that can be used to estimate the potential benefits of this method in case of future language design projects.

CEDE

An Ambient ASM Model of Client-to-Client Interaction via Cloud Computing and an Anonymously Accessibate with each other, and the only role the cloud plays is to switch resources from one client to another. We also show in an example at the end of this paper how our novel client-to-client interaction mechanism can be utilized for the development of the anonymously accessible cloud services.

偽善

Pillory

cancer

Early Verification and Validation According to ISO 26262 by Combining Fault Injection and Mutation Tnts of ISO 26262. We show how to use fault injection in combination with mutation based testing to identify defects early in the development process - both theoretically and on a case of self-driving miniature vehicles. The argument is grounded upon the current best practices within the industry, a

鉆孔

Platform-Independence in Model-Driven Development of Graphical User Interfaces for Multiple Devicesrate their correspondence through classifying state-of-the-art GUI generation approaches. This classification also allows us to illustrate three different mechanisms for achieving multi-device GUI generation in practice.

搜集

Controllability for Nondeterministic Discrete-Event Systems with Datas that capture existing notions of controllability for finite automata with variables do not have desirable algebraic properties, i.e., they are not a preorders. We propose an alternative notion of controllability based on a behavioral relation termed partial bisimulation. We show that the proposed