Formal methods: from object-based to object-oriented
ACM SIGPLAN Notices
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Timethread-role maps for object-oriented design of real-time-and-distributed systems
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
ACM SIGAda Ada Letters
Lessons from the experiences of leading-edge object technology projects in Hewlett-Packard
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Application of knowledge base design techniques to genetic markers
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
A framework for understanding the integration of design methodologies
ACM SIGSOFT Software Engineering Notes
A strategy for mapping from function-oriented software models to object-oriented software models
ACM SIGSOFT Software Engineering Notes
How to identify binary relations for domain models
Proceedings of the 18th international conference on Software engineering
Proceedings of the 18th international conference on Software engineering
Object-oriented development of real-time systems: verification of functionality and performance
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
ACM Computing Surveys (CSUR)
ACM SIGSOFT Software Engineering Notes
The situation in object-oriented specification and design
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Active information systems, from object-oriented design to Ada 95
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Generation and Evaluation of Indexes for Chemistry Articles
Journal of Intelligent Information Systems
From manufacturing document requirements to customized authoring and automated publishing framework
ACM SIGSOFT Software Engineering Notes
Family traits in business objects and their applications
IBM Systems Journal
An object-oriented modeling method for algebraic specifications in CafeOBJ
ICSE '97 Proceedings of the 19th international conference on Software engineering
Using metamodels of methodologies to determine the needs for reusability support
Proceedings of the 1997 symposium on Software reusability
IEEE Transactions on Software Engineering
Borrow, copy or steal?: loans and larceny in the orthodox canonical form
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Performance analysis of communication systems formally specified in SDL
Proceedings of the 1st international workshop on Software and performance
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
A methodology for agent-oriented analysis and design
Proceedings of the third annual conference on Autonomous Agents
Lightweight extraction of object models from bytecode
Proceedings of the 21st international conference on Software engineering
Generalizing perspective-based inspection to handle object-oriented development artifacts
Proceedings of the 21st international conference on Software engineering
Subject-oriented design: towards improved alignment of requirements, design, and code
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the Conference on The Future of Software Engineering
Software engineering for security: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Toward Constraint-Object-Oriented Development
IEEE Transactions on Software Engineering
The ups and downs of object-oriented systems development
Communications of the ACM
Agent-oriented software engineering: the state of the art
First international workshop, AOSE 2000 on Agent-oriented software engineering
Lightweight Extraction of Object Models from Bytecode
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Ada 95 as implementation language for object-oriented designs
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Investigating the use of analysis contracts to support fault isolation in object oriented code
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the 24th International Conference on Software Engineering
Principles of component-based design of intelligent agents
Data & Knowledge Engineering
Abstraction and context in requirements engineering: Toward a synthesis
Annals of Software Engineering
A practical approach to combining requirements definition and object-oriented analysis
Annals of Software Engineering
Object modelling languages: An evaluation and some key expectations for the future
Annals of Software Engineering
Towards a General Component Model for Web-Based Applications
Annals of Software Engineering
Mapping Procedural Patterns to Object-Oriented Design Patterns
Automated Software Engineering
Empirical Software Engineering
The OCoN Approach to Workflow Modeling in Object-Oriented Systems
Information Systems Frontiers
Domain Modelling and the Co-Design of Business Rules in the Telecommunication Business Area
Information Systems Frontiers
Formal agent-oriented modeling with UML and graph transformation
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
AI Planner Assisted Test Generation
Software Quality Control
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Building a Database Design Laboratory on the Internet
IEEE Internet Computing
Reusing Specifications in OO Applications
IEEE Software
Automated Support for Modeling OO Software
IEEE Software
Object-Orientated Design of Digital Library Platforms for Multiagent Environments
IEEE Transactions on Knowledge and Data Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
A formal approach to object-oriented software engineering
Theoretical Computer Science - Rewriting logic and its applications
A Case Study in Statistical Testing of Reusable Concurrent Objects
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Developing and Applying Component-Based Model-Driven Architectures in KobrA
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Creating a distributed factory object architecture
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
Strengthening UML Collaboration Diagrams by State Transformations
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
The Role of Design Components in Test Plan Generation
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Model-Driven Product Line Architectures
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Materialization: A Powerful and Ubiquitous Abstraction Pattern
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Towards a formalization of UML class structures in Z
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Using Business Rules in EXtreme Requirements
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Mapping Object-Oriented Designs to Ada
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Formalizing Object-Oriented Models in the Object Calculus
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Integrated Informal Object-Oriented and Formal Modeling Techniques
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Applying Fuzzy Logic Techniques in Object-Oriented Software Development
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
The Object Model for a Product Based Development Process
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
From CASE to CARE (Computer-Aided Requirements Engineering)
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
A Systematic Approach to Transform OMT Diagrams to a B Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Using OCL and UML to Specify System Behavior
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Definition and Application of Metaclasses
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Towards an Automatic Integration of Statecharts
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Object models as heap invariants
Programming methodology
Relating functional requirements and software architecture: separation and consistency of concerns
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
IT measurement
Formalizing ODP enterprise specifications in Maude
Computer Standards & Interfaces
A performance engineering tool and method for distributing applications
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Improving Object Oriented Analysis by Explicit Change Analysis
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Under Pressure -- Recommendations for Managing a Practical Course in Software Engineering
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
From Specification to Management of Composite Object Behavior
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Analysis by Contract or UML with Attitude
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Applying object-oriented concepts to the Development of Real-Time Industrial automation systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Frameworks in Catalysis: pictorial notation and formal semantics
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Towards a rigorous object-oriented analysis and design method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Reusing a Distributed Object Domain Framework
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
A Framework for Heterogeneous Concurrency Control Policies in Distributed Applications
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Methodological Support for Requirements Elicitation and Formal Specification
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Investigating the use of analysis contracts to improve the testability of object-oriented code
Software—Practice & Experience
Modeling Class Operations in B: Application to UML Behavioral Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
Sequence constraints in business modelling and business process modelling
Enterprise information systems IV
Specification of business components using temporal OCL
UML and the unified process
A conceptual model completely independent of the implementation paradigm
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
An object-oriented system for 3D medical image analysis
IBM Systems Journal
A transition logic for schemata conflicts
Data & Knowledge Engineering
Object-oriented analysis and design (OOAD)
Encyclopedia of Computer Science
Automated Prototyping of User Interfaces Based on UML Scenarios
Automated Software Engineering
Using patterns for the refinement and translationof UML models: A controlled experiment
Empirical Software Engineering
Towards a user interface generation approach based on object oriented design and task model
TAMODIA '05 Proceedings of the 4th international workshop on Task models and diagrams
Traffic-aware stress testing of distributed systems based on UML models
Proceedings of the 28th international conference on Software engineering
Formal methods for embedded distributed systems
Modeling events as entities in object-oriented conceptual modeling languages
Data & Knowledge Engineering - Special issue: ER 2004
Addressing concurrency in object-oriented software development
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Toward formalized object-oriented management information systems analysis
Journal of Management Information Systems
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
Automatic Synthesis Of Behavioral Object Specifications From Scenarios
Journal of Integrated Design & Process Science
Quality of services specification in distributed object systems design
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
Software composition with extended entity-relationship diagrams
COOTS'96 Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 2
Fuzzy prototype model and semantic distance
Information Systems
Towards Software Component Procurement Automation with Latent Semantic Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Process-centered review of object oriented software development methodologies
ACM Computing Surveys (CSUR)
Journal of Systems and Software
A formal semantics for Gaia liveness rules and expressions
International Journal of Agent-Oriented Software Engineering
A heuristic approach to network optimised mapping of a distributed resource discovery architecture
International Journal of Computer Applications in Technology
The Verification of rCOS Using Spin
Electronic Notes in Theoretical Computer Science (ENTCS)
Extracting Object Interactions Out of Software Contracts Using Model Transformations
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Modeling Components and Component-Based Systems in KobrA
The Common Component Modeling Example
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Automating regression test selection based on UML designs
Information and Software Technology
Conceptual simulation modeling: the structure of domain specific simulation environment
Proceedings of the 40th Conference on Winter Simulation
A Gentle Introduction to System Verification
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Virtual Labs for Neural Networks E-courses
IWANN '03 Proceedings of the 7th International Work-Conference on Artificial and Natural Neural Networks: Part II: Artificial Neural Nets Problem Solving Methods
Analysis of Aspect-Oriented Model Weaving
Transactions on Aspect-Oriented Software Development V
A layered structure for uniform version management in component based systems
ACM SIGSOFT Software Engineering Notes
Using Maude to write and execute ODP information viewpoint specifications
Computer Standards & Interfaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying Fondue to Specify a Drink Vending Machine
Electronic Notes in Theoretical Computer Science (ENTCS)
Transforming use case models to class models and OCL-specifications
International Journal of Computers and Applications
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
A layered software specification architecture
ER'00 Proceedings of the 19th international conference on Conceptual modeling
From use cases to system operation specifications
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Part-whole statecharts for the explicit representation of compound behaviours
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
A UML profile for agent-based development
MIS'02 Proceedings of the 2002 international conference on Metainformatics
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Framework for describing UML compatible development processes
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
The normal object form: bridging the gap from models to code
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
ACM Transactions on Software Engineering and Methodology (TOSEM)
A flexible requirements analysis approach for software product lines
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Customizing traceability links for the unified process
QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
An agent-based methodology for self-* systems
Multiagent and Grid Systems
Traceability-centric model-driven object-oriented engineering
Information and Software Technology
Feature-oriented requirements modelling
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Business process modeling languages: Sorting through the alphabet soup
ACM Computing Surveys (CSUR)
Consolidating diagram types from several agent-oriented methodologies
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Real-world semantics of conceptual models
The evolution of conceptual modeling
Environments for multiagent systems state-of-the-art and research challenges
E4MAS'04 Proceedings of the First international conference on Environments for Multi-Agent Systems
Formal concept analysis-based class hierarchy design in object-oriented software development
Formal Concept Analysis
A method for pruning ontologies in the development of conceptual schemas of information systems
Journal on Data Semantics V
Incorporating elements from the prometheus agent-oriented methodology in the OPEN process framework
AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II
POST: a case study for an incremental development in rCOS
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
From object-oriented to agent-oriented software engineering methodologies
Software Engineering for Multi-Agent Systems III
Definition and correct refinement of operation specifications
Dependable Systems
A taxonomy on component-based software engineering methods
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
A formal approach to design patterns in Re-engineering
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
A validation system for object oriented specifications of information systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
CASE-based rigorous object-oriented modeling
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Towards rigorous analysis of fusion models: the MIRG experiences
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
An object-oriented formal specification of a configuration language for railway interlockings
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
A tale of two case studies: using integrated methods to support rigorous requirements specication
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Controversy Corner: Towards automated traceability maintenance
Journal of Systems and Software
Software and Systems Modeling (SoSyM)
Common criteria compliant software development (CC-CASD)
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Using a functional size measurement procedure to evaluate the quality of models in MDD environments
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
| Hi-index | 0.02 |