Вы здесь

Home » Издательства

IEEE Computer Society

Связанные издания:

1997 IEEE Symposium on Visual Languages: Proc./Isle of Capri, Italy, September 23-26, 1997
A Case Study in Partial Specification: Consistency and Refinement for Object-Z
A Framework of Syntactic Models for the Implementation of Visual Languages
A Graphical Language for Generating Architectural Forms
A Java-based Implementation of Collaborative Active Textbooks
Alterable Visual Languages
A Method for Modeling and Evaluating Software Maintenance Process Performances
An Animatable Operational Semantics of the Verilog Hardware Description Language
Animation of User Algorithms on the Web
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms
An Interpreter for Diagrammatic Languages Based on SR Grammars
A Petri Net-based Visual Language for Specifying GUIs
A Unified Algebraic Framework for Specifying Communication Protocols
A Visual Language Based System for the Efficient Management of the Software Development Process
A Visual Language for Authorization Modeling
A Visual Programming Model for User Interface Animation
BDL - A Nondeterministic Data Flow Programming Language with Backtracking
Case Studies of the Sixth European Conference on Software Maintenance and Reengineering. Budapest, Hungary, March 2002
ClawZ: Control Laws in Z
Combining Constraints and Data-Flow in a Visual Query Language
Composing Specifications in VSPEC
Embedding Formally Proved Code in a Smart Card: Converting B to C
Empirical Analysis of Massive Maintenance Processes
Experiences with Visual Programming in a Specific Domain - Visual Language Challenge 96
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications
Formal Derivation of Multilayered Hardware/Software Structures
Formal Foundations of Object-Oriented Modeling Notations
Fragmented Retrenchment, Concurrency and Fairness
From Queries to Answers in Visual Logic Programming
From Visual Language Specification to Legal Visual Interaction
GUIDO: Visualizing Document Retrieval
Highly Reliable Component-Based Software Development by using Algebraic Behavioral Specification
Iterative Constructs in the Visual Data Flow Language
Keyboardless Visual Programming Using Voice, Handwriting, and Gesture
Maximally Abstract Retrenchments
Mechanical Verification of Transaction Processing Systems
Mr. Rogers Sustainable Neighborhood: A Visual Language Case Study for Community Education
Multimedia Languages for Teleaction Objects
Object-Flow
Parallel and Distributed Systems: Proc./ICPADS 2000 Workshops of the Seventh International Conference, Iwata, Japan, 4-7 July 2000
Proceedings of the Sixth European Conference on Software Maintenance and Reengineering. Budapest, Hungary, March 2002
Proceedings of Third IEEE International Conference on Formal Engineering Methods - ICFEM 2000, York, England, 4-6 September 2000
Querying GIS with Animated Spatial Sketches
Representation and Learnability in Visual Languages for Web-based Interpersonal Communication
Reserved Graph Grammar: A Specification Tool for Diagrammatic VPLs
Satisfying the Graphical Requirements of Visual Languages in the DV-Centro Framework
Semantics of Visual Languages
Software Maintenance and Reengineering: Proc./Fifth European Conference on Lisbon, Portugal, 14-16 March, 2001
SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol
Staging Software Visualizations on the Web