Using Lightweight Formal Methods to Model Class and Object Diagrams
Fernando Valles-Barajas (2012)
Computer Science and Information Systems
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “UML Profile for Specifying User Interfaces of Business Applications”
Using Lightweight Formal Methods to Model Class and Object Diagrams
Formalizing Business Process Specifications
Andreas Speck, Sven Feja, Sören Witt, Elke Pulvermüller, Marcel Schulz (2011)
Computer Science and Information Systems
Similarity:
Access Control Framework for XML Document Collections
Goran Sladić, Branko Milosavljević, Zora Konjović, Milan Vidaković (2011)
Computer Science and Information Systems
Similarity:
Detecting Concurrency Anomalies in Transactional Memory Programs
João Lourenço, Diogo Sousa, Bruno Teixeira, Ricardo Dias (2011)
Computer Science and Information Systems
Similarity:
A Case Study on Availability of Sensor Data in Agent Cooperation
Christian Johansson, Fredrik Wernstedt, Paul Davidsson (2010)
Computer Science and Information Systems
Similarity:
Distributed Parameter Tuning for Genetic Algorithms
David F. Barrero, Antonio González-Pardo, David Camacho, María D. R-Moreno (2010)
Computer Science and Information Systems
Similarity:
Integrating Instance-level and Attribute-level Knowledge into Document Clustering
Jinlong Wang, Shunyao Wu, Gang Li, Zhe Wei (2011)
Computer Science and Information Systems
Similarity:
TEAMLOG in Action: a Case Study in Teamwork
Barbara Dunin-Kęplicz, Rineke Verbrugge, Micha l Ślizak (2010)
Computer Science and Information Systems
Similarity:
Animation of Tile-Based Games Automatically Derived from Simulation Specifications
Jan Wolter, Bastian Cramer, Uwe Kastens (2011)
Computer Science and Information Systems
Similarity:
Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories
Jianmin Zhang, Shengyu Shen, Jun Zhang, Weixia Xu, Sikun Li (2011)
Computer Science and Information Systems
Similarity:
An Approach to Automated Conceptual Database Design Based on the UML Activity Diagram
Drazen Brdjanin, Slavko Maric (2012)
Computer Science and Information Systems
Similarity: