Author of the publication

Formalizing the Specification of Web Applications.

, and . ER (Workshops), volume 1727 of Lecture Notes in Computer Science, page 281-292. Springer, (1999)

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.

 

Other publications of authors with the same name

A Framework for Machine-Assisted User Interface Verification., , , and . AMAST, volume 936 of Lecture Notes in Computer Science, page 461-474. Springer, (1995)A Catalog of Bad Agile Smells for Agility Assessment., , , and . CIbSE, page 30-43. Curran Associates, (2019)Supporting Formal Verification of Crosscutting Concerns., , and . Reflection, volume 2192 of Lecture Notes in Computer Science, page 153-169. Springer, (2001)Adapting to Climate Change - An Open Data Platform for Cumulative Environmental Analysis and Management., , , and . ICCSA (1), volume 9155 of Lecture Notes in Computer Science, page 3-15. Springer, (2015)The Semantics of Abstract Data Views: A Design Concept to Support Reuse-in-the-Large., , , and . COODBSE, page 253-274. World Scientific, (1994)Asset-Mapping Approaches to Web-Based Collaborative Innovation., , , , and . Web Intelligence, page 528-532. IEEE Computer Society, (2010)Supporting Contextual Conversational Agent-Based Software Development., , , and . BotSE, page 9-13. IEEE, (2023)Developing a collaborative cloud-based platform for watershed analysis and management., , , and . CollaborateCom, page 457-459. ICST / IEEE, (2014)An Open and Big Data Platform for Cumulative Environmental Analysis and Management., , , and . FiCloud, page 412-417. IEEE Computer Society, (2015)Formal Structure for Specifying the Content and Quality of the Electronic Health Record., , , , and . RE, page 162-168. IEEE Computer Society, (2003)