A distributed alternative to finite-state-machine specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Paradigms for design and implementation in ADA
Communications of the ACM
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Knowledge-based support for system verification during requirements analysis
SIGCPR '87 Proceedings of the conference on The 1987 ACM SIGBDP-SIGCPR Conference
Object-oriented concurrent programming ABCL/1
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Different perspectives on information systems: problems and solutions
ACM Computing Surveys (CSUR)
The JSP-Tutor: a computerized aid for teaching Jackson structured programming
ACM SIGSMALL/PC Notes
ACM SIGSOFT Software Engineering Notes
Transaction processing primitives and CSP
IBM Journal of Research and Development
Object-oriented development in an industrial environment
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
On the use of formal methods in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A comparison of four design methods for real-time systems
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Knowledge base applications with software engineering: a tool for requirements specifications
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Software process modeling: a behavioral approach
ICSE '88 Proceedings of the 10th international conference on Software engineering
ICSE '88 Proceedings of the 10th international conference on Software engineering
Recording the reasons for design decisions
ICSE '88 Proceedings of the 10th international conference on Software engineering
Human-computer interface development: concepts and systems for its management
ACM Computing Surveys (CSUR)
An entity-life modeling approach to the design of concurrent software
Communications of the ACM
An object-oriented requirements specifications method
Communications of the ACM
Four paradigms of information systems development
Communications of the ACM
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Metamodels for system development
ACM SIGSOFT Software Engineering Notes
A formal adaption method for process descriptions
ICSE '89 Proceedings of the 11th international conference on Software engineering
A generic model for representing design methods
ICSE '89 Proceedings of the 11th international conference on Software engineering
Structuring criteria for real time system design
ICSE '89 Proceedings of the 11th international conference on Software engineering
Software process modeling: principles of entity process models
ICSE '89 Proceedings of the 11th international conference on Software engineering
A hierarchical and functional software process description and its enaction
ICSE '89 Proceedings of the 11th international conference on Software engineering
A net method for specification of reusable software
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Entity-life modeling and structured analysis in real-time software design—a comparison
Communications of the ACM
C-TODOS: an automatic tool for office system conceptual design
ACM Transactions on Information Systems (TOIS)
The object-oriented systems life cycle
Communications of the ACM
Implementing JSD designs in Ada: a tutorial
ACM SIGSOFT Software Engineering Notes
Interactive Systems: Bridging the Gaps Between Developers and Users
Computer - Special issue on instruction sequencing
An ada object-based analysis and design approach
ACM SIGAda Ada Letters
Exploiting reusable specifications through analogy
Communications of the ACM
Analysis and experience with an Information System development methodology
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Comparing object-oriented and data flow models—a case study
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Organizing software information: a concept-based approach
ACM SIGOIS Bulletin - Special issue on information system design support tools
Modelling business rules in an office environment
ACM SIGOIS Bulletin - Special issue on information system design support tools
ACM SIGSOFT Software Engineering Notes
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Compile-time analysis of communicating processes
ICS '92 Proceedings of the 6th international conference on Supercomputing
Teaching object-oriented programming or using the object model to teach software engineering
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Towards a requirements definition, specification and system design environment
EURO-DAC '92 Proceedings of the conference on European design automation
An actor dependency model of organizational work: with application to business process reengineering
COCS '93 Proceedings of the conference on Organizational computing systems
Requirements specification: learning object, process, and data methodologies
Communications of the ACM
M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method
ACM SIGSOFT Software Engineering Notes
Selecting a software development process
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
SAOOSS: a system for the analysis of object-oriented software systems
ACM SIGPLAN OOPS Messenger
ACM SIGSOFT Software Engineering Notes
A framework for understanding the integration of design methodologies
ACM SIGSOFT Software Engineering Notes
Working results on software re-engineering
ACM SIGSOFT Software Engineering Notes
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
How much object-orientation in Ada? (panel)
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Object oriented extensions to Ada: a dissenting opinion
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
PRESTIGE: a CASE workbench for the JSD implementor
ICSE '91 Proceedings of the 13th international conference on Software engineering
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Implementing inheritance in operational graphical languages
ACM SIGSOFT Software Engineering Notes
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
The Domain Theory for Requirements Engineering
IEEE Transactions on Software Engineering
From object-oriented to goal-oriented requirements analysis
Communications of the ACM
Supporting Scenario-Based Requirements Engineering
IEEE Transactions on Software Engineering
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
The impact of object-orientation on application development
IBM Systems Journal
Discrete event simulation as a means of validating JSD design specifications
ICSE '85 Proceedings of the 8th international conference on Software engineering
Some philosophic foundations for an environment for system building
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
Graphical extensions for pseudo-code, PDLs, and source code
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Analyzing systems for object oriented design
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
A software design method for Ada based real time systems
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Technical opinion: essential business object design
Communications of the ACM
Two object oriented decomposition methods
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
A knowledge-based method for inferring semantic concepts from visual models of system behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
The operational versus the conventional approach to software development
Communications of the ACM
Into the fourth dimension—an introduction to dynamic analysis and design
ACM SIGSOFT Software Engineering Notes
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards an understanding of model executability
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Tool support for engineering adaptability into software architecture
Proceedings of the International Workshop on Principles of Software Evolution
Viewpoints: principles, problems and a practical approach to requirements engineering
Annals of Software Engineering
Elements underlying the specification of requirements
Annals of Software Engineering
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
Object modelling languages: An evaluation and some key expectations for the future
Annals of Software Engineering
Automatic Verification of Static Policies on Software Process Models
Annals of Software Engineering
Representing Software Engineering Knowledge
Automated Software Engineering
Relational algebras, logic, and functional programming
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Lessons Learned in Managing Object-Oriented Development
IEEE Software
Problems, Methods and Specialization
IEEE Software
Systematic Integration of Design Methods
IEEE Software
IEEE Software
Queries on Change in an Extended Relational Model
IEEE Transactions on Knowledge and Data Engineering
Extraction of Function-Points from Source-Code
IWSM '00 Proceedings of the 10th International Workshop on New Approaches in Software Measurement
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
Teaching Object-Oriented Programming Is More than Teaching Object-Oriented Programming Languages
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
What Object-Oriented Programming May Be - and What It Does Not Have To Be
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Towards a real-time object-oriented modeling approach
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Eliciting formal models of software engineering processes
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Operational specification languages
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
A "Coming and Going" Approach to Specification Construction: A Scenario
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Traceability and Modularity in Software Design
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Business Rules as Organizational Policies
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
From Early to Late Formal Requirements: A Process-Control Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Software pioneers
Specification approaches express different world hypotheses
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Seven (plus or minus two) challenges for requirements research
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Enhancing RUP business model with client-oriented requirements models
UML and the unified process
Formalizing UML class diagrams
UML and the unified process
A theory-model formalization of FlexOr
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
The impact of object-orientation on application development
IBM Systems Journal
An overview of the PAISLey project-1984
ACM SIGSOFT Software Engineering Notes
Structure charts for Jackson system development
ACM SIGSOFT Software Engineering Notes
Let's put more emphasis on perspective methods
ACM SIGSOFT Software Engineering Notes
Can Thomas Kuhn's paradigms help us understand software engineering?
European Journal of Information Systems - Special issue: "Interpretive" approaches to information systems and computing
An Expectant Chat About Script Maturity
LISA '00 Proceedings of the 14th USENIX conference on System administration
An object-oriented development method for Customer Knowledge Management Information Systems
Knowledge-Based Systems
A DSS Design Model for complex problems: Lessons from mission critical infrastructure
Decision Support Systems
The when, why and why not of the BETA programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Config: a case study in combining software engineering techniques
Scientific Programming
The designers' notepad: supporting and understanding cooperative design
ECSCW'93 Proceedings of the third conference on European Conference on Computer-Supported Cooperative Work
Software Design and Architecture The once and future focus of software engineering
FOSE '07 2007 Future of Software Engineering
Scalable and high-precision function-approximated images and its secure coding
WSEAS TRANSACTIONS on COMMUNICATIONS
The Name and Nature of Software Engineering
Advances in Software Engineering
Decomposition Structures for Event-B
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Inspired software design early jackson methods to thread architectures
ACM SIGSOFT Software Engineering Notes
Conceptual Modeling: Foundations and Applications
A secure coding for function-approximated images
ICCOM'08 Proceedings of the 12th WSEAS international conference on Communications
Consistency in the Business System Model
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Improving the reuse possibilities of the behavioral aspects of object-oriented domain models
ER'00 Proceedings of the 19th international conference on Conceptual modeling
A layered software specification architecture
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Implementing a data distribution variant with a metamodel, some models and a transformation
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
A survey of system design methodologies
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Applying Event-B atomicity decomposition to a multi media protocol
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Real-world semantics of conceptual models
The evolution of conceptual modeling
Applying atomicity and model decomposition to a space craft system in event-B
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
A genesis of thinking in the evolution of ancient philosophy and modern software development
UAHCI'11 Proceedings of the 6th international conference on Universal access in human-computer interaction: design for all and eInclusion - Volume Part I
JSD = Δ CSP ⊕ TLZ: a case study
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Software and Systems Modeling (SoSyM)
A systematic approach to atomicity decomposition in event-b
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Hi-index | 0.17 |