Filters








4 Hits in 3.4 sec

Validating conceptual models by transformational prototyping [chapter]

Odd Ivar Lindland, John Krogstie
1993 Lecture Notes in Computer Science  
The transformation strategy and execution mechanisms of the approach are presented, and its potential for validating model behavior is discussed.  ...  In this paper the executable properties of the PPP language are exploited and a PPP model is transformed into an executable prototype in TEQUEL and C.  ...  We would like to thank our colleagues at the project for a fruitful cooperation during the work; in particular the founders of the TEQUEL environment, Richard Owens and Peter McBrien from Imperial College  ... 
doi:10.1007/3-540-56777-1_9 fatcat:r23zy5lg6zcb3cy6fo3lmeyd5i

Tree Transducers and Formal Methods (Dagstuhl Seminar 13192) Information Visualization-Towards Multivariate Network Visualization (Dagstuhl Seminar 13201) Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211) Computational Methods Aiding Early-Stage Drug Design (Dagstuhl Seminar 13212)

Sebastian Maneth, Helmut Seidl, Andreas Kerren, Helen Purchase, Matthew, Diego Calvanese, Sven Hartmann, Ernest, Andreas Bender, Hinrich Göhlmann, Sepp Hochreiter, Ziv
2013 unpublished
We show, by fully utilizing the decomposition result, that the languages in OI-hierarchy are context-sensitive [3] .  ...  Contrary to the safe case, no result is known about the first-order decomposition for unsafe case, nor whether it is included in the class of context-sensitive languages.  ...  On Thursday, the organizers alloted two slots for scientific presentations on techniques and tool demos. Table 1 provides an overview of the final seminar schedule.  ... 
fatcat:7cilywhonvc2vgdqrs37oau66y

SOFTENG 2017 Committee SOFTENG Steering Committee

Sigrid Eldh, Ericsson Ab, Tomas Sweden, Schweigert, Michael Perscheid, Paolo Maresca, Doo-Hwan Bae, Mira Kajko-Mattsson, Sigrid Eldh, Ericsson Ab, Tomas Sweden, Schweigert (+16 others)
2017 unpublished
warmly thank all the members of the SOFTENG 2017 technical program committee, as well as all the reviewers.  ...  We also hope that Venice, Italy provided a pleasant environment during the conference and everyone saved some time to enjoy the unique charm of the city.  ...  Andrew Edmunds for the fruitful discussions. The work was done within the project ADVICeS funded by the Academy of Finland, grant No. 266373.  ... 
fatcat:nthulhforzdnvcmrrtaxpccuu4

Αξιοποίηση των τεχνολογιών του Σημασιολογικού Ιστού για τη Σχεδίαση και Υλοποίηση της τοποκεντρικής εφαρμογής κινητών συσκευών υποστήριξης της ανακύκλωσης, "Θησαυροί στην πόλη":

Βασίλειος Σπυρίδωνος Βικτωράτος
2014
Concluding, the application's functionality is presented by reference different use case scenarios.  ...  Then, we display the similar applications existed and what tools and techniques are used for the implementation of the application.  ...  Berners-Lee, T. (2000): Weaving the Web: The Past, Present and Future of the World Wide Web by its Inventor.  ... 
doi:10.26262/heal.auth.ir.135456 fatcat:mmdrjl7g3bf7jet4gnevv7nsti