Trevor J. Smedley

According to our database1, Trevor J. Smedley authored at least 42 papers between 1985 and 2008.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology.
ACM Trans. Softw. Eng. Methodol., 2008

2006
Reverse Engineering in Support of Litigation: Experiences in an Adversarial Environment.
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

2005
A mobile, visual scripting environment for monitoring and controlling wireless devices.
Proceedings of the 2005 IEEE International Conference on Wireless And Mobile Computing, 2005

2004
Visual specification of behaviours in VRML worlds.
Proceedings of the Proceeding of the Ninth International Conference on 3D Web Technology, 2004

Message-Flow Programming in PdaGraph.
Proceedings of the 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 2004

Reduction of Cognitive Load Through the Addition of High-Level Semantics to ReactoGraph.
Proceedings of the 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 2004

Visualizing the Testedness of Data-Flow Interactions in Imperative Functions.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004

2003
An Abstract Graph Model to Collect Interprocedural Duchains in Visual Dataflow Programs.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Component Framework for Visual Programming Language Design.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Interprocedural Data-flow Testing for Visual Dataflow Languages.
Proceedings of the 12th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2003

Vivid: A Framework for Creating Visual Programming Languages.
Proceedings of the 12th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2003

2002
A Data-Flow Testing Methodology for a Dataflow Based Visual Programming Language.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 2002

Concrete Programming with Reactive Objects.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 2002

Visual Scripting for Handheld Computers.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 2002

2001
Guest Editors' Introduction: Special Issue on Visual Languages for End-user and Domain-specific Programming.
J. Vis. Lang. Comput., 2001

A Testing Methodology for a Dataflow Based Visual Programming Language.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

2000
Selected Papers from VL'98.
J. Vis. Lang. Comput., 2000

A Formal Model for Parameterized Solids in a Visual Design Language.
J. Vis. Lang. Comput., 2000

Building Environments for Visual Programming of Robots by Demonstration.
J. Vis. Lang. Comput., 2000

1998
LSD: A Logic-Based Visual Language for Designing Structured Objects.
J. Vis. Lang. Comput., 1998

Toward Concrete Representation in Visual Languages for Robot Control.
J. Vis. Lang. Comput., 1998

Multimedia Workshop: Exploring the Benefits of a Visual Scripting Language.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

Visualization of Compile Time Erroers in a Java Compatible Visual Language.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

A Model for Object Representation and Manipulation in a Visual Design Language.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

Visual Programming for Robot Control.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

1997
Visual Languages for the Design and Development of Structured Objects.
J. Vis. Lang. Comput., 1997

A Graphical Language for Generating Architectural Forms.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

Experiences with Visual Programming in a Specific Domain - Visual Language Challenge '96.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

A Declarative Language for the Design of Structures.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

1997 Visual Programming Challenge Summary.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

1996
A Visual Language for the Design of Structured Graphical Objects.
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Expanding the utility of spreadsheets through the integration of visual programming and user interface objects.
Proceedings of the workshop on Advanced visual interfaces 1996, 1996

1995
A High-Level Visual Language for the Graphical Description of Digital Circuits.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

PSH-The Next: Generation of Command Line Interfaces.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

1994
Using Visual Programming to Extend the Power of Spreadsheet.
Proceedings of the Workshop on Advanced Visual Interfaces, 1994

1993
Graphical Parametrised Structural Descriptions of VLSI Devices.
Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

1992
Using pictorial and object oriented programming for computer algebra.
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

1990
Detecting Algebraic Dependencies Between Unnested Radicals (abstract).
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

1989
A new Modular Algorithm for Computation of Algebraic Number Polynomial Gcds.
Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

1988
Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract)
Proceedings of the Symbolic and Algebraic Computation, 1988

1987
Radical simplification using algebraic extension fields.
Proceedings of the EUROCAL '87, 1987

1985
Integration of Rational Functions in SAC-2.
Proceedings of the Algebraic Algorithms and Error-Correcting Codes, 1985


  Loading...