An object-oriented approach to automated generation of challenge examinations using Ada 95
ACM SIGAda Ada Letters
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A Metaobject Architecture for Fault-Tolerant Distributed Systems: The FRIENDS Approach
IEEE Transactions on Computers
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Three dimensional software modelling
Proceedings of the 20th international conference on Software engineering
Object oriented modelling with object petri nets
Concurrent object-oriented programming and petri nets
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Object modelling languages: An evaluation and some key expectations for the future
Annals of Software Engineering
Animation and presentation tools for object-oriented design
Nordic Journal of Computing
Metamodelling and Conformance Checking with PVS
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Developing BON as an Industrial-Strength Formal Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Using OCL and UML to Specify System Behavior
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
An Ongoing OO Software Engineering Measurement Experiment
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Towards an Abstract Language for Dynamic Modeling in Object-Oriented Design
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
The algebraic structure of interfaces
Science of Computer Programming
A framework for modeling and implementing visual notations with applications to software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Metamodel-based model conformance and multiview consistency checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Seamless development of software product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Process-centered review of object oriented software development methodologies
ACM Computing Surveys (CSUR)
Verification-centric realization of electronic vote counting
EVT'07 Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology
PoDIM: a language for high-level configuration management
LISA'07 Proceedings of the 21st conference on Large Installation System Administration Conference
FM '08 Proceedings of the 15th international symposium on Formal Methods
A Comparison of Metric-Based and Empirical Approaches for Cognitive Analysis of Modeling Languages
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
DPVK - An Eclipse Plug-in to Detect Design Patterns in Eiffel Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Building syntax-aware editors for visual languages
Journal of Visual Languages and Computing
A comparison of the business object notation and the unified modeling language
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Closing the gap between object-oriented modeling of structure and behavior
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Filling the gap between CASE tools and PSEEs
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
View based object oriented approach for complex system modelling
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
The client/server way to interconnect high-speed LANs
Computer Communications
A Comparison of Metric-Based and Empirical Approaches for Cognitive Analysis of Modeling Languages
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Hi-index | 0.00 |