leonardo profile

Recent Activity

• 14:10: posted Representing and Operating with Model Differences
• 14:10: posted Engineering Associations: From Models to Code and Back through Semantics
• 12:32: posted A Comparison of State-Based Modelling Tools for Model Validation

• 15:33: posted Combining ECA Rules with Process Algebras for the Semantic Web
• 14:52: posted On the compositional properties of UML statechart diagrams

• 11:14: posted The methodological soundness of requirements engineering papers: a conceptual framework and two case studies
• 11:13: posted Power laws in software

• 12:49: added a comment to group forum thread Search Syntax for CiteULike

• 16:53: posted Reconciling statechart semantics
• 14:31: posted On utility-based selection of architecture-modelling concepts
• 14:30: posted An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models

• 20:54: added a comment to group forum thread IEEE Computer Society redesign has broken parser
• 17:48: posted The Objects and Arrows of Computational Design

• 14:08: added a comment to group forum thread abstract not imported from ACM portal

• 15:29: posted Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation
• 15:28: posted X3D-UML: 3D UML State Machine Diagrams
• 15:26: posted Semantically Configurable Code Generation
• 15:25: posted Towards a Formal Account of a Foundational Subset for Executable UML Models
• 15:23: posted Enriching Reverse Engineering with Annotations
• 15:09: posted An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
• 15:00: posted A Lightweight Approach for Defining the Formal Semantics of a Modeling Language

• 17:20: added a comment to group forum thread I've got a tag "authorship"; but I can't select out those articles so tagged

• 17:10: posted Program Repair Suggestions from Graphical State-Transition Specifications
• 15:30: added a group forum thread Updating article details

• 01:03: posted A comparison of refinement orderings and their associated simulation rules
• 01:02: posted Refinement in Object-Z and CSP

• 02:05: posted Refinement of Component Model Standards and Conventions

• 14:52: posted From algebraic semantics to denotational semantics for Verilog

• 20:39: added a comment to group forum thread Using DOI as URL
• 20:05: added a comment to group forum thread Using DOI as URL
• 19:38: added a comment to group forum thread Using DOI as URL

• 20:08: added a note to On Automating the Calculus of Relations
• 20:03: posted On Automating the Calculus of Relations