VL 2005 - PDF Preprint Papers

VL 2005 IEEE Symposium on Visual Languages

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed VL-2005 Paper

click to vote

VL
2005
IEEE

159views Visual Languages» more VL 2005»

Executable Visual Contracts

14 years 6 months ago

Download www.cs.uni-paderborn.de

Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...

Marc Lohmann, Stefan Sauer, Gregor Engels

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	159	Executable Visual Contracts	claim
2	144	Gestural Musical Improvisation and Programming	claim
3	142	JOpera: An Agile Environment for Web Service Composition with Visual Unit Testing and Refactoring	claim
4	137	CAM: A Mobile Paper-Based Information Services Architecture for Remote Rural Areas in the Developing World	claim
5	135	Designing Features for Both Genders in End-User Programming Environments	claim
6	135	HyperFlow: An Integrated Visual Query and Dataflow Language for End-User Information Analysis	claim
7	135	Easing Program Comprehension by Sharing Navigation Data	claim
8	133	Cultural Differences and End-User Computing	claim
9	126	Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation	claim
10	125	Benchmarking for Graph Transformation	claim
11	123	A Visually-Specified Code Generator for Simulink/Stateflow	claim
12	119	How Well Do Professional Developers Test with Code Coverage Visualizations? An Empirical Study	claim
13	117	Goal-Directed Debugging of Spreadsheets	claim
14	113	Estimating the Numbers of End Users and End User Programmers	claim
15	110	Forms of Expression for Designing Visual Languages for Animation	claim
16	108	Achieving Flexibility in Direct-Manipulation Programming Environments by Relaxing the Edit-Time Grammar	claim
17	107	Template Parsing with User Feedback	claim
18	107	Navigating Software Architectures with Constant Visual Complexity	claim
19	105	A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views	claim
20	104	Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams	claim
21	104	Show Me! Guidelines for Producing Recorded Demonstrations	claim
22	103	EAVis: A Visualization Tool for Evolutionary Algorithms	claim
23	102	Using Objects of Measurement to Detect Spreadsheet Errors	claim
24	101	An Experimental Study into the Default Reading of Constraint Diagrams	claim
25	96	RGG+: An Enhancement to the Reserved Graph Grammar Formalism	claim
26	93	Unified Modeling Language 2.0	claim
27	88	Visualizing What People Are Doing on the Web	claim
28	87	A Toolkit for Addressing HCI Issues in Visual Language Environments	claim
29	82	Cognitive Dimensions of Notations	claim
30	76	Transformation of UML State Machines for Direct Execution	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers