Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: A methodology for specifying and analyzing consistency of object-oriented behavioral models
Object-Oriented Modeling: A Roadmap
Behavioral Interface Specification Languages
The ASTOOT approach to testing object-oriented programs
Coupling metrics for object-oriented design
Model driven software development: An overview
Towards a pattern language for object oriented design
A Taxonomic Class Modeling Methodology for Object-Oriented Analysis
Interactive goal model analysis for early requirements engineering
From object-oriented to goal-oriented requirements analysis
Localization and Inhibition of Malicious Behaviors through a Model Checking based methodology
Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language
Validation of behavior specifications of production systems within different phases of the engineering process
A method for assessing the reusability of object-oriented code using a validated set of automated measurements
Semantics and analysis of business process models in BPMN
AOSE Methodologies and Comparison of Object Oriented and Agent Oriented Software Testing
OWL 2 modeling and reasoning with complex human activities
A language for enabling model-driven analysis of business processes
A COMPARISON OF STRUCTURED ANALYSIS AND OBJECT ORIENTED ANALYSIS An Experimental Study
A general framework for formalizing UML with formal languages
Agile development cycle: Approach to design an effective Model Based Testing with Behaviour driven automation framework
Competing with giants. Survival strategies for local companies in emerging markets.
Modeling Web application architectures with UML
Thottapalayam virus: a presumptive arbovirus isolated from a shrew in India.
LinBFT: Linear-Communication Byzantine Fault Tolerance for Public Blockchains
Spread Spectrum Digital Beamforming (SSDBF) radar