• Daneshyari
  • Topics
    • Physical Sciences and Engineering
      Life Sciences
      Health Sciences
      Social Sciences and Humanities
Physical Sciences and Engineering Computer Science Computer Science Applications

The semantics of augmented constraint diagrams

Article ID Journal Published Year Pages File Type
10358503 Journal of Visual Languages & Computing 2005 33 Pages PDF
Abstract
Whether the reading tree accompanies the diagram explicitly (optimizing expressiveness) or implicitly (simplifying diagram syntax), we show how to construct unambiguous semantics for the augmented constraint diagram.
Keywords
Constraint diagramsFormal methodsSoftware specification
Related Topics
Physical Sciences and Engineering Computer Science Computer Science Applications
Preview
The semantics of augmented constraint diagrams
Authors
Andrew Fish, Jean Flower, John Howse,
Related Articles
Patents from Latin America and Spain with Latipat: Country coverage and ability to search for emerging topics like Nanotechnology
Vaccine R&D in Brazil: The effectiveness of push and pull regulations
The evolution of patent mining: Applying bibliometrics analysis and keyword network analysis
PATSTAT revisited: Suggestions for better usage
Exploring pathways of regional technological development in China through patent analysis
Are patent trade wars impeding innovation and development?
Literature listing
Applying an anchor based patent mapping approach: Basic conception and the case of carbon fiber reinforcements
Leveraging patent landscape analysis and IP competitive intelligence for competitive advantage
A look at the abundance of Chinese utility models
Journal
Journal of Visual Languages & Computing
Journal: Journal of Visual Languages & Computing
Related Categories
Constraint diagrams
Formal methods
Software specification
Artificial Intelligence
Computational Theory and Mathematics
Computer Graphics and Computer-Aided Design
Computer Networks and Communications
Computer Science (General)
Computer Science Applications
Computer Vision and Pattern Recognition
Hardware and Architecture
Human-Computer Interaction
Information Systems
Signal Processing
Software
Related Journals
World Patent Information
Computers and Electronics in Agriculture
Computers and Geotechnics
International Journal of Critical Infrastructure Protection
Journal of Rail Transport Planning & Management
Computers in Human Behavior
Electronic Commerce Research and Applications
Entertainment Computing
Expert Systems with Applications
Fuzzy Sets and Systems
Information Sciences
Information Systems
International Journal of Approximate Reasoning
Robotics and Autonomous Systems
Big Data Research
Future Generation Computer Systems
Journal of Computational Science
Journal of Parallel and Distributed Computing
Medical Image Analysis
Computer Standards & Interfaces
Computers & Security
Digital Investigation
Information Security Technical Report
Journal of Information Security and Applications
Journal of Systems Architecture
Journal of Systems and Software
Daneshyari provides fulltext access to millions of research papers.