Formal Model for Data Dependency Analysis between Controls and Actions of a Graphical User Interface
SKVORC, D., ZUZAK, I., SRBLJIC, S. · Advances in Electrical and Computer Engineering · 2012
Abstract onlyNot checked
Software
Filters2 filters applied
440 papersQuestions on this topic
Typed Operational Semantics for Dependent Record Types
Yangyue Feng, Zhaohui Luo · Electronic Proceedings in Theoretical Computer Science · 2011
Abstract onlyNot checked
Intersection Logic in sequent calculus style
Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos et al. · Electronic Proceedings in Theoretical Computer Science · 2011
Abstract onlyNot checked
Saying Hello World with Edapt - A Solution to the TTC 2011 Instructive Case
Markus Herrmannsdoerfer · Electronic Proceedings in Theoretical Computer Science · 2011
Abstract onlyNot checked
HACIA UNA ESTRATEGIA INTEGRAL REUTILIZACION DE SOFTWARE
Alan Calderón Castro · Ingeniería · 2011
Abstract onlyNot checked
Solving the TTC 2011 Reengineering Case with VIATRA2
Ábel Hegedus, Zoltán Ujhelyi, Gábor Bergmann · Electronic Proceedings in Theoretical Computer Science · 2011
Abstract onlyNot checked
¿ES VISUAL FOXPRO UN AMBIENTE ORIENTADO A OBJETOS?
Vladimir Lara Villagrán, Maureen Murillo R. · Ingeniería · 2011
Abstract onlyNot checked
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata
Sung-Shik T.Q. Jongmans, Farhad Arbab · Electronic Proceedings in Theoretical Computer Science · 2011
Abstract onlyNot checked
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
Vasco T. Vasconcelos, Francisco Martins, Tiago Cogumbreiro · Electronic Proceedings in Theoretical Computer Science · 2010
Abstract onlyNot checked
Structural Decomposition of Reactions of Graph-Like Objects
Tobias Heindel · Electronic Proceedings in Theoretical Computer Science · 2010
Abstract onlyNot checked
Set of connectors for enterprise information system architecture
Lina Bagušytė, Audronė Lupeikienė · Lietuvos Matematikos Rinkinys · 2009
Abstract onlyNot checked
Modelinės architektūros naudojimas kuriant komponentines programų sistemas
Vaidas Giedrimas · Informacijos Mokslai · 2009
Abstract onlyNot checked
Phantom Types and Subtyping
Matthew Fluet, Riccardo Pucella · 2006
Abstract onlyNot checked
Proof rules for purely quantum programs
Yuan Feng, Runyao Duan, Zhengfeng Ji et al. · 2006
Abstract onlyNot checked
The Workshop - Implementing Well Structured Enterprise Applications
A. Wiesmaier, V. Karatsiolis, M. Lippert et al. · Proceedings of "The 2005 International Conference on Software Engineering Research and Practice"; June 2005 · 2005
Abstract onlyNot checked
Enhancing the Alloy Analyzer with Patterns of Analysis
William Heaven, Alessandra Russo · 15th Workshop on Logic Programming Environments (WLPE05), Sitges (Barcelona), Spain, 2005 · 2005
Abstract onlyNot checked
Improved Inference for Checking Annotations
Peter J Stuckey, Martin Sulzmann, Jeremy Wazny · 2005
Abstract onlyNot checked
Effective Requirements Generation: Synchronizing Early Verification & Validation, Methods and Method Selection Criteria
Lester Lobo, James D. Arthur · 2005
Abstract onlyNot checked
A Generic Framework for the Analysis and Specialization of Logic Programs
German Puebla, Elvira Albert, Manuel Hermenegildo · 2005
Abstract onlyNot checked
Local and Global Analysis: Complementary Activities for Increasing the Effectiveness of Requirements Verification and Validation
Lester Lobo, James D. Arthur · 2005
Abstract onlyNot checked