( en | de | ru )

 

Disambiguation of "Wiil, Uffe Kock"

Author of the publication

copydeleteadd this publication to your clipboard
Verification-driven slicing of UML/OCL models

, , , and . Proceedings of the IEEE/ACM international conference on Automated software engineering, page 185--194. New York, NY, USA, ACM, (2010)
DOI: 10.1145/1858996.1859038

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Uffe Hansen

Margitta Uffelmann

Jochim Uffenorde

Inge Uffenorde

Andreas Uffelmann

 

Other publications of authors with the same name

Open Issues in Collaborative Hypermedia Systems, , and . Proceedings of the CSCW'94 Workshop Collaborative Hypermedia Systems, volume 239 of GMD-Studien, page 5-11. Chapel Hill, North Carolina, Gesellschaft für Mathematik und Datenverarbeitung mbH, (October 1994)QS Mapper: A Transparent Data Aggregator for the Quantified Self - Freedom from Particularity Using Two-way Mappings., , and . ICSOFT-EA, page 65-72. SciTePress, (2015)Evaluating HyperDisco as an infrastructure for digital libraries.. SAC, page 491-497. ACM, (1998)The Flag Taxonomy of Open Hypermedia Systems., and . Hypertext, page 129-139. ACM, (1996)Cooperation Services in a Structural Computing Environment., , and . OHS-7/SC-3/AH-3, volume 2266 of Lecture Notes in Computer Science, page 172-182. Springer, (2001)Analysis of Emergent and Evolving Information: The Agile Planning Case., and . ICSOFT (Selected Papers), volume 50 of Communications in Computer and Information Science, page 263-276. (2009)A 3-Staged Approach to Identifying Patients at Risk of Deterioration in Emergency Departments., and . HEALTHINF, page 470-477. SciTePress, (2015)EWAS: Modeling Application for Early Detection of Terrorist Threats., , and . From Sociology to Computing in Social Networks, volume 1 of Lecture Notes in Social Networks, Springer, (2010)UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models., , and . SAM, volume 6598 of Lecture Notes in Computer Science, page 173-192. Springer, (2010)heteroHarvest: Harvesting information from heterogeneous sources., , , , and . ISI, page 231. IEEE, (2011)