We study categories for reversible computing, focussing on reversible forms of event structures. Event structures are a well-established model of true concurrency. There exist a number of forms of event structures, including prime event structures, asymmetric event structures, and general event structures. More recently, reversible forms of these types of event structures have been defined. We ...

Zusammenfassung. Im Folgenden werden die Ergebnisse des letzten Tre ens unseres Arbeitskreises Testen objektorientierter Programme/Modellbasiertes Testen (TOOP/MBT) kurz dargestellt. Das Treffen mit 21 Teilnehmern fand im Rahmen des 39. Treffens der GI-Fachgruppe Test, Analyse und Veri kation von Software (TAV) am 24. 06. 2016 in Bremen statt. Thema der inhaltlichen Diskussion war abermals, wie...

So far, ontologies in the Semantic Web and models in model-driven engineering have been developed mainly in isolation. It seems that due to a lack of communication between communities, modelling concepts have been designed similarly in both paradigms without ensuring their orthogonality. On the long run, this will replicate efforts and cannot be afforded by either community. Hence, this chapter...

Applying Acceptance Test Driven Development (ATDD) in the context of web applications is a difficult task due to the intricateness of existing tools/frameworks and, more in general, of the proposed approaches. In this work, we present a simple approach for developing web applications in ATDD mode, based on the usage of Screen Mockups and Selenium IDE. Digital Object Identifier (DOI): http://dx....

This descriptive case study is about the dynamics of a software engineering team using executable acceptance test-driven development in a real world project. The experiences of a customer, a developer, and a tester were discussed. The observed consensus among multiple stakeholders speaks of the effectiveness of the practice in the given context.

The best ebooks about Model Driven Architecture In Practice A Software Production Environment Based On Conceptual Modeling that you can get for free here by download this Model Driven Architecture In Practice A Software Production Environment Based On Conceptual Modeling and save to your desktop. This ebooks is under topic such as model driven architecture in practice a software free download m...

This paper presents a unification-based approach to Japanese honorifics based on a version of HPSG (Head-driven Phrase Structure Grammar)ll]121. Utterance parsing is based on lexical specifications of each lexical item, including honorifics, and a few general PSG rules using a parser capable of unifying cyclic feature structures. It is shown that the possible word orders of Japanese honori f ic...

The increasing complexity of distributed applications, software services that can be dynamically deployed, adjusted and composed, paves the way for new challenges in software and service engineering. This paper describes a novel approach that combines the flexibility of MDE techniques to deal with the conceptual modelling of MAS and the expressive power of OWL based ontologies to deal with sema...

In this paper we explain an approach on how to develop domain specific applications using model driven development. Model Driven Development in its core, uses the MDA (Model Driven Architecture) principles defined by OMG (Object Management Group) and its primary artifact for development is model. MDA principles dictate that the domain specific model be built on specifications and standards [1]....

in this study, several data-driven techniques including system identification, adaptive neuro-fuzzy inference system (anfis), artificial neural network (ann) and wavelet-artificial neural network (wavelet-ann) models were applied to model rainfall-runoff (rr) relationship. for this purpose, the daily stream flow time series of hydrometric station of hajighoshan on gorgan river and the daily rai...