Manageable object-oriented development: abstraction, decomposition, and modeling
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Communications of the ACM - Special issue on analysis and modeling in software development
Using Harel statecharts to model object-oriented behavior
ACM SIGSOFT Software Engineering Notes
Visualizing objects: methods for exploring human computer interaction concepts
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
The OO software development process (panel)
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented analysis for evolving systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Defining software architectures using the Hierarchical Object-Oriented Design method (HOOD)
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Schlaer-Mellor object-oriented analysis rules
ACM SIGSOFT Software Engineering Notes
Using object oriented structured development to implement a hybrid system
ACM SIGSOFT Software Engineering Notes
Communications of the ACM
SMA '93 Proceedings on the second ACM symposium on Solid modeling and applications
On the purpose of object-oriented analysis
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
ROMAN-9X: a technique for representing object models in Ada 9X notation
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Adapting an Object-Oriented Development Method
IEEE Software
M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method
ACM SIGSOFT Software Engineering Notes
Using the Shlaer-Mellor method to support a level 4 software process
ACM SIGSOFT Software Engineering Notes
TOBAC: a test case browser for testing object-oriented software
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
A model base for software engineering
WADAS '94 Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada
Extending the statechart formalism: event scheduling & disposition
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Object-oriented state machines: subclassing, composition, delegation, and genericity
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
How to identify binary relations for domain models
Proceedings of the 18th international conference on Software engineering
Executable object modeling with statecharts
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
Transition to object-oriented software development
Communications of the ACM
Object-oriented cosynthesis of distributed embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Semantic-based visualization for parallel object-oriented programming
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Tool support for requirements formalisation
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Object oriented requirements analysis for a model Ada runtime system
WADAS '92 Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers
Modeling multiple domains in software reuse
Proceedings of the 1997 symposium on Software reusability
A message-based real-time model by object-oriented technique
ACM SIGOPS Operating Systems Review
IEEE Transactions on Software Engineering
Actor-based computing: vision forestalled, vision fulfilled
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Subsystem design guidelines for extensible general-purpose software
ISAW '98 Proceedings of the third international workshop on Software architecture
Application-specific heterogeneous multiprocessor synthesis using differential-evolution
Proceedings of the 11th international symposium on System synthesis
JavaBean-based simulation with a decision making bean
Proceedings of the 30th conference on Winter simulation
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
An incremental project plan: introducing cleanroom method and object-oriented development method
Proceedings of the 20th 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
Development life-cycle WITH reuse
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
A connectionless approach to integrated network management
International Journal of Network Management
Are Object-Oriented Concepts Useful to Real-Time SystemsDevelopment?
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
Graphical information models as interfaces for Web document repositories
AVI '00 Proceedings of the working conference on Advanced visual interfaces
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
A knowledge-based method for inferring semantic concepts from visual models of system behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
The use of object-oriented models in requirements engineering: a field study
ICIS '99 Proceedings of the 20th international conference on Information Systems
A model for compound type changes encountered in schema evolution
ACM Transactions on Database Systems (TODS)
Communications of the ACM
A survey of object-oriented methodologies
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
Object oriented modelling with object petri nets
Concurrent object-oriented programming and petri nets
Schedulability analysis of real time actor systems using coloured petri nets
Concurrent object-oriented programming and petri nets
Proceedings of the 33nd conference on Winter simulation
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
An architectural co-synthesis algorithm for distributed, embedded computing systems
Readings in hardware/software co-design
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
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Formal Specifications of User Requirements
Automated Software Engineering
PRIMA-UML: a performance validation incremental methodology on early UML diagrams
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Combining Software and Hardware Verification Techniques
Formal Methods in System Design
Using the Shlaer-Mellor Object-Oriented Analysis Method
IEEE Software
OO Systems Analysis: Is It or Isn't It?
IEEE Software
A Three-View Model for Performance Engineering of Concurrent Software
IEEE Transactions on Software Engineering
An Empirical Investigation of an Object-Oriented Software System
IEEE Transactions on Software Engineering
POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems
IEEE Transactions on Software Engineering
A formal approach to object-oriented software engineering
Theoretical Computer Science - Rewriting logic and its applications
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs
FASE '02 Proceedings of the 5th 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
Generation of Object Models for Information Systems from Business System Models
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
A temporal behavioral object model for object-oriented databases
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
StateLator - Behavioral Code Generation as an Instance of a Model Transformation
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Synergy: A Conceptual Graph Activation-Based Language
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
A Software Bus as a Platform for a Family of Distributed Embedded System Products
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
An object pattern for computer user interface systems
Information processing and technology
Adaptive evolutionary information systems
How to choose a software development method: a French company EDF's experience report
SEE '95 Proceedings of the 1995 Software Engineering Environment Conferences
An environment for object-oriented real-time systems design
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Extracting object-oriented specification from procedurally oriented programs
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
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)
Object-Oriented Behaviour Modelling or Real-Time Design
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
ITC '97 Proceedings of the 1997 IEEE International Test Conference
Life-cycle inheritance in concurrent object-oriented systems
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Towards a rigorous object-oriented analysis and design method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Traceability and Modularity in Software Design
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Applying Conventional Testing Techniques for Class Testing
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Unifying access to heterogeneous document databases through contextual metadata
Effective databases for text & document management
The application of FOOM methodology to IFIP conference case study
Practicing software engineering in the 21st century
FOOM-functional and object-oriented methodology for analysis and design of information systems
Advanced topics in database research vol. 1
Executable/Translatable UML in computing education
ACE '04 Proceedings of the Sixth Australasian Conference on Computing Education - Volume 30
Lessons Learned from Model Checking a NASA Robot Controller
Formal Methods in System Design
Introducing Agility: A Case Study of Situational Method Engineering Using the OPEN Process Framework
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Compositional Development of Performance Models in Poems
International Journal of High Performance Computing Applications
Analysis of transaction problems using the problem frames approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
A different need for sequencing contracts using state-based aspects
Proceedings of the 2nd workshop on Best practices in applying aspect-oriented software development
The CRSS metric for package design quality
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
An object-oriented approach to formally analyze the UML 2.0 activity partitions
Information and Software Technology
A Dynamic Framework for Classifying Information Systems Development Methodologies and Approaches
Journal of Management Information Systems
Process-centered review of object oriented software development methodologies
ACM Computing Surveys (CSUR)
On the estimation of the functional size of software from requirements specifications
Journal of Computer Science and Technology
Object-oriented technologies for automated manufacturing systems development
International Journal of Computer Applications in Technology
Definition and modeling of process using object orientation
ACM SIGSOFT Software Engineering Notes
A framework supporting the utilization of domain knowledge embedded in software
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Towards a Formal Account of a Foundational Subset for Executable UML Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Object-oriented system development in a banking project: methodology, experience, and conclusions
Human-Computer Interaction
IWSM/Metrikon/Mensura '08 Proceedings of the International Conferences on Software Process and Product Measurement
Composition semantics for executable and evolvable behavioral modeling in MDA
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Distributed measurement systems: An object-oriented architecture and a case study
Computer Standards & Interfaces
Adaptive automation in a naval combat management system
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
BPM'03 Proceedings of the 2003 international conference on Business process management
Model checking software via abstraction of loop transitions
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
UML based performance modeling of distributed systems
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Developing state diagrams using a state specialization technique
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Business process modeling languages: Sorting through the alphabet soup
ACM Computing Surveys (CSUR)
Object-oriented design methodology based on functional layers for distributed communications systems
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Modelling behaviour requirements for automatic interpretation, simulation and deployment
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
On the performance of UML state machine interpretation at runtime
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Semantic variations among UML statemachines
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Natural language generation from class diagrams
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Genetic design: amplifying our ability to deal with requirements complexity
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
MDA, meta-modelling and model transformation: introducing new technology into the defence industry
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Dynamic logic semantics for UML consistency
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Applying MDA and UML in the development of a healthcare system
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
Applying MDA and UML in the development of a healthcare system
UML Modeling Languages and Applications
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Formally based modeling and inheritance of behaviour in object-oriented systems
Journal of Systems and Software
A systematic review of code generation proposals from state machine specifications
Information and Software Technology
A plug-in based approach for UML model simulation
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Application MDA in a collaborative modeling environment
ICEC'07 Proceedings of the 6th international conference on Entertainment Computing
Software and Systems Modeling (SoSyM)
On integrating structure and behavior modeling with OCL
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
Industrial experiences from multi-paradigmatic modelling of signal processing
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
Hi-index | 0.05 |