Structured tools and conditional logic: an empirical investigation
Communications of the ACM
The British Nationality Act as a logic program
Communications of the ACM
Task coupling and cohesion in Ada
ACM SIGAda Ada Letters
Documentation generation from a PSA database
SIGDOC '85 Proceedings of the 4th annual international conference on Systems documentation
A case study of workstation usage during the early phases of the software development life cycle
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A graphical, extensible integrated environment for software development
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Knowledge-based support for system verification during requirements analysis
SIGCPR '87 Proceedings of the conference on The 1987 ACM SIGBDP-SIGCPR Conference
Toward a general object-oriented software development methodology
ACM SIGAda Ada Letters
Petri net-based object-oriented modelling of distributed systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Different perspectives on information systems: problems and solutions
ACM Computing Surveys (CSUR)
Recommendations for software engineering education
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
A framework for information systems architecture
IBM Systems Journal
The PIOCO model for information systems design
MIS Quarterly
Developing real-time Ada systems
IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
Box structured information systems
IBM Systems Journal
A comparison of four design methods for real-time systems
ICSE '87 Proceedings of the 9th international conference on Software Engineering
An extended systems modeling language (ESML)
ACM SIGSOFT Software Engineering Notes
A comparison of techniques for the specification of external system behavior
Communications of the ACM
A student system development diagrammer
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
A simple technique to motivate structured programming
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
A threaded/flow approach to reconfigurable distributed systems and service primitives architectures
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
Prototyping analysis, structured analysis, Prolog and prototypes
SIGCPR '88 Proceedings of the ACM SIGCPR conference on Management of information systems personnel
Spreadsheet analysis and design
Communications of the ACM
Programming as process: a “novel” approach to teaching programming
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
A simplified graphic notation for Ada programs
ACM SIGAda Ada Letters
An object-oriented approach to domain analysis
ACM SIGSOFT Software Engineering Notes
Metamodels for system development
ACM SIGSOFT Software Engineering Notes
Experiences in preparing a DOD-STD-2167A software design document for an Ada project
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
An environment for operational software engineering in Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Pragmatic definition of an object-oriented development process for Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
ICSE '89 Proceedings of the 11th international conference on Software engineering
Software development process from natural language specification
ICSE '89 Proceedings of the 11th international conference on Software engineering
A laboratory for teaching object oriented thinking
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
N-Fold inspection: a requirements analysis technique
Communications of the ACM
A simplified graphic notation for Ada programs
TRI-Ada '88 Proceedings of the conference on TRI-Ada '88
C-TODOS: an automatic tool for office system conceptual design
ACM Transactions on Information Systems (TOIS)
Automatically generating visual syntax-directed editors
Communications of the ACM
Conceptual Modeling in the Context of Development
IEEE Transactions on Software Engineering
A cross-cultural comparison of IS designer values
Communications of the ACM
Software Size Estimation of Object-Oriented Systems
IEEE Transactions on Software Engineering
The object-oriented systems life cycle
Communications of the ACM
New challenges of systems development: a vision of the 90's
ACM SIGMIS Database
A procedure and tools for transition engineering
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Structured analysis—formal design, using stream and object oriented formal specifications
Conference proceedings on Formal methods in software development
An environment for specifying an executing hierarchical Petri nets
ICSE '90 Proceedings of the 12th international conference on Software engineering
Dynamical system specifications as validation media
ACM SIGPLAN Notices
A Disciplined Approach to Office Analysis
IEEE Transactions on Software Engineering
A model for measuring information system size
MIS Quarterly
Composite Programs: Hierarchical Construction, Circularity, and Deadlocks
IEEE Transactions on Software Engineering
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Structured analysis and object-oriented development are not compatible
ACM SIGAda Ada Letters
Designing for cooperation: cooperating in design
Communications of the ACM
Specification and Design of Transactions in Information Systems: A Formal Approach
IEEE Transactions on Software Engineering
A case history analysis of software error cause-effect relationships
IEEE Transactions on Software Engineering
Automatic Synthesis of SARA Design Models from System Requirements
IEEE Transactions on Software Engineering
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
Automatic abstraction of real-time software and re-implementation in Ada
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
A comparison of the decision table and tree
Communications of the ACM
An Automated Approach to Information Systems Decomposition
IEEE Transactions on Software Engineering
Evaluation of vendor products: CASE tools as methodology companions
Communications of the ACM
A formal structured method for requirement specification construction
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
ESA—an expert supported OOA method and tool
ACM SIGSOFT Software Engineering Notes
Comparing techniques by means of encapsulation and connascence
Communications of the ACM - Special issue on analysis and modeling in software development
Comparing object-oriented and data flow models—a case study
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering
Modelling business rules in an office environment
ACM SIGOIS Bulletin - Special issue on information system design support tools
Undergraduate software engineering laboratories: a progress report from two universities
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
ACM SIGSOFT Software Engineering Notes
A structured approach to object-oriented design
OOPSLA '91 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
The effect of cultural fit/misfit on the productivity and turnover of IS personnel
SIGCPR '92 Proceedings of the 1992 ACM SIGCPR conference on Computer personnel research
A reappraisal of structured analysis: design in an organizational context
ACM Transactions on Information Systems (TOIS)
SIGCPR '93 Proceedings of the 1993 conference on Computer personnel research
EURO-DAC '92 Proceedings of the conference on European design automation
Information systems security design methods: implications for information systems development
ACM Computing Surveys (CSUR)
The data derivation model: a program specification technique that improves reusability
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Communications of the ACM - Special issue Participatory Design
Requirements specification: learning object, process, and data methodologies
Communications of the ACM
RE-Analyzer: from source code to structured analysis
IBM Systems Journal
BITS: a smartcard protected operating system
Communications of the ACM
A taxonomy of software development methods
Communications of the ACM
Correctness and composition of software architectures
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Selecting a software development process
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
Systems analysis: a systemic analysis of a conceptual model
Communications of the ACM
PATHOS—a paradigmatic approach to high-level object-oriented software development
ACM SIGSOFT Software Engineering Notes
A strategy for mapping from function-oriented software models to object-oriented software models
ACM SIGSOFT Software Engineering Notes
Design and test strategies for a safety-critical embedded executive
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Supporting viewpoints in Metaview
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
An approach for integrated specification and design of real-time systems
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
General purpose enterprise simulation with master
WSC '93 Proceedings of the 25th conference on Winter simulation
Using metamodels of methodologies to determine the needs for reusability support
Proceedings of the 1997 symposium on Software reusability
Automatic transformation from data flow diagram to structure chart
ACM SIGSOFT Software Engineering Notes
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
A case study in embedded system design: an engine control unit
DAC '98 Proceedings of the 35th annual Design Automation Conference
An agent-oriented modeling approach
ACM SIGSOFT Software Engineering Notes
Factors that Impact Implementing a System Development Methodology
IEEE Transactions on Software Engineering
Requirements Elicitation and Validation with Real World Scenes
IEEE Transactions on Software Engineering
Formal semantics for SA style data flow diagram specification languages
Proceedings of the 1999 ACM symposium on Applied computing
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Metrics in the software engineering curriculum
Annals of Software Engineering - Special issue on software engineering education
A market-driven approach to teaching software components engineering
Annals of Software Engineering - Special issue on software engineering education
A framework for information systems architecture
IBM Systems Journal
Communications of the ACM
Communications of the ACM
Pioneering mission—critical Ada software
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
The use of graphical models in model validation
WSC '86 Proceedings of the 18th conference on Winter simulation
PRISM—productivity improvement for software engineers and managers
ICSE '85 Proceedings of the 8th international conference on Software engineering
Comprehending Object and Process Models: An Empirical Study
IEEE Transactions on Software Engineering
A realistic approach to teaching systems anlaysis at the small or medium-sized college
SIGCSE '85 Proceedings of the sixteenth SIGCSE technical symposium on Computer science education
Use of Ada for shipboard embedded applications
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
Experience with Ada and the 2167 software detailed design document
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Covering the life cycle with Ada: Ada all the way
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Automated object-oriented requirements analysis and design
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Tailoring the DOD-STD-2167A software design document to support layered abstractions
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Precursor for parallel development
CSC '91 Proceedings of the 19th annual conference on Computer Science
The executive office of environmental affairs systems modernization project
CSC '91 Proceedings of the 19th annual conference on Computer Science
On the roles of functions and objects in system specification
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
On the usability of OO representations
Communications of the ACM
A knowledge-based method for inferring semantic concepts from visual models of system behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
ICIS '99 Proceedings of the 20th international conference on Information Systems
A real world object modeling method for creating simulation environment of real-time systems
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Teaching design effectively in the introductory programming courses
CCSC '00 Proceedings of the fourteenth annual consortium on Small Colleges Southeastern conference
Communications of the ACM
Modeling a library with THORNs
Concurrent object-oriented programming and petri nets
Code reusability in the large versus code reusability in the small
ACM SIGSOFT Software Engineering Notes
An application of petri nets in structured analysis
ACM SIGSOFT Software Engineering Notes
A curriculum for a University course in advanced COBOL
ACM SIGCSE Bulletin
Into the fourth dimension—an introduction to dynamic analysis and design
ACM SIGSOFT Software Engineering Notes
A user-friendly formal requirements specification method
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Petri net script: a visual language for describing action, behaviour and plot
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
Systems development education and methodology adoption
ACM SIGCPR Computer Personnel
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
Abstraction and context in requirements engineering: Toward a synthesis
Annals of Software Engineering
Elements underlying the specification of requirements
Annals of Software Engineering
A practical approach to combining requirements definition and object-oriented analysis
Annals of Software Engineering
Choosing Between Competing Design Ideals in Information Systems Development
Information Systems Frontiers
Information Systems Frontiers
Information Technology and Management
Evaluating the Contributions of a Structured Software Development and Maintenance Methodology
Information Technology and Management
Systems Design: CASDA: Synthesized Graphic Design of Real-Time Systems
IEEE Computer Graphics and Applications
CASE: Reliability Engineering for Information Systems
IEEE Software
Second-Generation CASE Tools: A Challenge to Vendors
IEEE Software
A Study of 12 Specifications of the Library Problem
IEEE Software
Intelligent Support for Specifications Transformation
IEEE Software
SEAM: A State-Entity-Activity-Model for a Well-Defined Workflow Development Methodology
IEEE Transactions on Knowledge and Data Engineering
Dependence Directed Reasoning and Learning in Systems Maintenance Support
IEEE Transactions on Software Engineering
An Overview of a Graphical Multilanguage Applications Environment
IEEE Transactions on Software Engineering
Structuring Primitives for a Dictionary of Entity Relationship Data Schemas
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A Case History Development of a Foolproofing Interface Documentation System
IEEE Transactions on Software Engineering
Specifying Transaction-Based Information Systems with Regular Expressions
IEEE Transactions on Software Engineering
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Object-oriented modeling with ADORA
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Design for presence: a structured approach to virtual reality system design
Presence: Teleoperators and Virtual Environments - Virtual environments: Virtual environments and mobile robots: Control, simulation, and robot pilot training
A brief history of the object-oriented approach
ACM SIGSOFT Software Engineering Notes
Comparison of CMM Level 2 and eXtreme Programming
ECSQ '02 Proceedings of the 7th International Conference on Software Quality
From Play-In Scenarios to Code: An Achievable Dream
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Case Study of Decomposing Functional Requirements Using Scenarios
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Extraction of Function-Points from Source-Code
IWSM '00 Proceedings of the 10th International Workshop on New Approaches in Software Measurement
Visual software requirements definition environment
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
Combining Methods for the Livelock Analysis of a Fault-Tolerant System
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Linking Business Modelling to Socio-technical System Design
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Development and Evolution of Web-Applications Using the WebComposition Process Model
Web Engineering, Software Engineering and Web Application Development
UML for Agent-Oriented Software Development: The Tropos Proposal
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Enterprise Knowledge Management and Conceptual Modelling
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
Refinement of Pipe-and-Filter Architectures
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Agent-Oriented Modelling: Software versus the World
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
A Requirements-Driven Development Methodology
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Modeling station duty officer operations assistant at Johnson space center
Advances in Engineering Software
Identifying the difficulties of object-oriented development
Journal of Systems and Software
Evaluating real-time software specification languages
Computer Standards & Interfaces
Adaptive evolutionary information systems
Using hypermedia in requirements engineering practice
The New Review of Hypermedia and Multimedia
An Object-Oriented Formal Model for Software Project Management
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
MARCO—a monitoring system to analyze, and control systems requirements.
SIGDOC '84 Proceedings of the 3rd annual international conference on Systems documentation
Computer Aided Software Engineering (CASE)
DAC '83 Proceedings of the 20th Design Automation Conference
Teaching software engineering in the adult education environment
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
Combat system functional operability simulation
ANSS '82 Proceedings of the 15th annual symposium on Simulation
Development of a systems analysis and design course
SIGCSE '82 Proceedings of the thirteenth SIGCSE technical symposium on Computer science education
SYNCRO: A dataflow command shell for the lilith/modula computer
ICSE '84 Proceedings of the 7th international conference on Software engineering
Application of axiomatic methods to a specification analyser
ICSE '84 Proceedings of the 7th international conference on Software engineering
Matrix: An alternate organization structure for the exchange and processing of information
SIGUCCS '82 Proceedings of the 10th annual ACM SIGUCCS conference on User services
Prototyping as a tool in the specification of user requirements
ICSE '81 Proceedings of the 5th international conference on Software engineering
The user-designer conflict and its resolution
SIGCPR '80 Proceedings of the seventeenth annual computer personnel research conference
ICSE '79 Proceedings of the 4th international conference on Software engineering
A project-oriented undergraduate course sequence in software engineering
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
An approach to assessment of text handling systems
COCS '84 Proceedings of the second ACM-SIGOA conference on Office information systems
Integration of methodology and tools: An approach to teaching systems development
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
A retrospective on software engineering in design automation
DAC '82 Proceedings of the 19th Design Automation Conference
Structured systems analysis tutorial
ACM '81 Proceedings of the ACM '81 conference
Educator's view of structured concepts
ACM '80 Proceedings of the ACM 1980 annual conference
Structured requirements definition in the 80s
ACM '80 Proceedings of the ACM 1980 annual conference
Structured standardization managers' views
ACM '79 Proceedings of the 1979 annual conference
HW/SW specification using OOM techniques
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
How to choose a software development method: a French company EDF's experience report
SEE '95 Proceedings of the 1995 Software Engineering Environment Conferences
A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Teaching Software Engineering in a Computer Science Department
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Retrieving information from data flow diagrams
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Refinement of Information Flow Architectures
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Problems and Deficiencies of UML as a Requirements Specification Language
IWSSD '00 Proceedings of the 10th 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
Use Case Driven Structured Analysis
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Consistency Checking between Data and Process Diagrams based on Formal Methods
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Specification of real-time imaging systems using the UML
Real-Time Imaging
Business process integration as a solution to the implementation of supply chain management systems
Information and Management
Structured analysis and VHDL in embedded ASIC design and verification
EURO-DAC '90 Proceedings of the conference on European design automation
Re-engineering and automation of business processes: criteria for selecting supporting tools
Effective databases for text & document management
Specification approaches express different world hypotheses
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Modeling the workflow of prescription writing
Proceedings of the 2003 ACM symposium on Applied computing
Overcoming shortcomings in schema-based software design systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Formalizing UML class diagrams
UML and the unified process
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
Object oriented programming: looking ahead to the year 2000
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Integration of CASE into undergraduate education
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Illuminating software specifications
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
On the education of systems analysts
ACM SIGCSE Bulletin
A simplified, universal technique for systems analysis and design
ACM SIGCSE Bulletin
The impact of rapid prototyping on specifying user requirements
ACM SIGSOFT Software Engineering Notes
Rapid prototyping of interactive information systems
Proceedings of the workshop on Rapid prototyping
Contemporary software development environments
ACM SIGSOFT Software Engineering Notes
Levels of abstraction in the system life cycle
ACM SIGSOFT Software Engineering Notes
From optic flow to laws of control
Optic flow and beyond
Understanding the software paradox
ACM SIGSOFT Software Engineering Notes
A rapid prototyping system based on data flow principles
ACM SIGSOFT Software Engineering Notes
An assessment of structured analysis and structured design
ACM SIGSOFT Software Engineering Notes
Business artifacts: An approach to operational specification
IBM Systems Journal
System Level Specification in Lava
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
OPM vs. UML—Experimenting with Comprehension and Construction of Web Application Models
Empirical Software Engineering
Taking cohesion into the classroom
Journal of Computing Sciences in Colleges
Some structured analysis techniques
ACM SIGMIS Database
An algorithm for sizing software products
ACM SIGMETRICS Performance Evaluation Review
Integrated Requirements Engineering: A Tutorial
IEEE Software
Explorative construction of virtual worlds: an interactive kernel approach
VRCAI '04 Proceedings of the 2004 ACM SIGGRAPH international conference on Virtual Reality continuum and its applications in industry
A psychometric evaluation of the use of data flow diagrams
ACM SIGCHI Bulletin
An eclectic 5th generation architecture for ultra high speed computing
ACM SIGART Bulletin
Design and verification of fault tolerant systems with CSP
Distributed Computing
Performance analysis framework for large software-intensive systems with a message passing paradigm
Proceedings of the 2005 ACM symposium on Applied computing
Modeling nonfunctional requirements: a basis for dynamic systems management
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
Technical communication and system analysis
ACM SIGDOC Asterisk Journal of Computer Documentation
Systematic Transformation of Functional Analysis Model into OO Design and Implementation
IEEE Transactions on Software Engineering
A view of 20th and 21st century software engineering
Proceedings of the 28th international conference on Software engineering
Proceedings of the 28th international conference on Software engineering
Journal of Systems and Software
A framework for transforming structured analysis and design artifacts to UML
SIGDOC '06 Proceedings of the 24th annual ACM international conference on Design of communication
User interface consistency across end-user applications: the effects on mental models
Journal of Management Information Systems - Special section: Managing virtual workplaces and teleworking with information technology
Journal of Management Information Systems
Cognitive fit in requirements modeling: a study of object and process methodologies
Journal of Management Information Systems - Special section: Strategic and competitive information systems
Learning to specify information requirements: the relationship between application and methodology
Journal of Management Information Systems - Special section: Strategic and competitive information systems
Modeling real-time communication systems: Practices and experiences in Motorola
Journal of Visual Languages and Computing
Teaching students to build well formed object-oriented methods through refactoring
Proceedings of the 38th SIGCSE technical symposium on Computer science education
DEVELOPING A DATABASE FOR AUTOMATING REGULATORY AFFAIRS IN THE PHARMACEUTICAL INDUSTRY
Journal of Integrated Design & Process Science
VRDL: A Visual Software Requirements Language
Journal of Integrated Design & Process Science
Structured analysis and system specification
Classics in software engineering
Eliciting information for product modeling using process modeling
Data & Knowledge Engineering
Information Sciences: an International Journal
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Using semi-formal methods for detecting interactions among smart homes policies
Science of Computer Programming
A Unified Model of Requirements Elicitation
Journal of Management Information Systems
Journal of Management Information Systems
Dealing with change: components versus services
Communications of the ACM
A Dynamic Framework for Classifying Information Systems Development Methodologies and Approaches
Journal of Management Information Systems
Critical Factors for Assimilation of Object-Oriented Programming Languages
Journal of Management Information Systems
Process-centered review of object oriented software development methodologies
ACM Computing Surveys (CSUR)
A software quality strategy for the development of automatic control systems
International Journal of Computer Applications in Technology
Macro and micro models for large scale engineering processes
International Journal of Computer Applications in Technology
Diagrammatic Education For Software Engineering
Journal of Integrated Design & Process Science
Programmers are from Mars, customers are from Venus: a practical guide for customers on XP projects
Proceedings of the 2006 conference on Pattern languages of programs
Object-Oriented Software Systems Restructuring through Clustering
ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
Metaphors and models: conceptual foundations of representations in interactive systems development
Human-Computer Interaction
Dynamic capabilities in the software process
International Journal of Information Technology and Management
Maintenance as a function of design
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Software management issues for new system designs
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Are methodologies and system design techniques independent of one another?
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
A technique for comparative assessment of software development management policies
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
A methodology for minimizing maintenance costs
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
When a data processing department inherits software
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Maintaining user participation throughout the systems development cycle
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Beyond Documents: Visualizing Informal Communication
REV '08 Proceedings of the 2008 Requirements Engineering Visualization
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
Technology Neutral Business Process Design using URDAD
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Conceptual Modeling: Foundations and Applications
Conceptual Modeling: Past, Present and the Continuum of the Future
Conceptual Modeling: Foundations and Applications
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
The Integrated Environment For Supporting Collaborative Analysis
Journal of Integrated Design & Process Science
Hierarchical Morphological Composition Of Web Hosting System
Journal of Integrated Design & Process Science
Strategies for information requirements determination
IBM Systems Journal
How data flow can improve application development productivity
IBM Systems Journal
Reusing legacy FORTRAN in the MOTTI growth and yield simulator
Computers and Electronics in Agriculture
Generating fast feedback in requirements elicitation
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Reusing requirements: the need for extended variability models
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Complex software problem solving by means of abstractive techniques
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Requirements engineering for large-scale multi-agent systems
Software engineering for large-scale multi-agent systems
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
High level architecture for an advanced distributed complex systems engineering environment
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
EGOV'10 Proceedings of the 9th IFIP WG 8.5 international conference on Electronic government
Explaining architectural choices to non-architects
ECSA'10 Proceedings of the 4th European conference on Software architecture
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
A design perspective on modularity
Proceedings of the tenth international conference on Aspect-oriented software development
A Survey of Requirements Specification in Model-Driven Development of Web Applications
ACM Transactions on the Web (TWEB)
Employing use-cases for piecewise evaluation of requirements and claims
Proceedings of the 28th Annual European Conference on Cognitive Ergonomics
Real-world semantics of conceptual models
The evolution of conceptual modeling
Supporting professional spreadsheet users by generating leveled dataflow diagrams
Proceedings of the 33rd International Conference on Software Engineering
Understanding executable architectures through an examination of language model elements
Proceedings of the 2010 Summer Computer Simulation Conference
A comparative examination of systems analysis techniques
MIS Quarterly
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
Architecture and Patterns for IT Service Management, Resource Planning, and Governance: Making Shoes for the Cobbler's Children: Making Shoes for the Cobbler's Children
A domain-specific language for URDAD based requirements elicitation
Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment
A method for development of adequate requirement specification in the plant control software domain
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Functions in information systems
ACM SIGMIS Database
Requirements determination in a community informatics project: an activity theory approach
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
Towards general purpose, high level, software languages
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
The ANote modeling language for agent-oriented specification
Software Engineering for Multi-Agent Systems III
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Introduction and overview: the projects of methods integration
Methods'96 Proceedings of the 1996 international conference on Methods Integration
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
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Performance criteria of a sound office analysis methodology
International Journal of Information Management: The Journal for Information Professionals
Embedded system design with ada as the system design language
Journal of Systems and Software
Information channel diagrams: an approach for modelling information flows
Journal of Intelligent Manufacturing
Improving an industrial reference process by information flow analysis: a case study
PROFES'07 Proceedings of the 8th international conference on Product-Focused Software Process Improvement
Timing Strategies for Feasibility Studies in Information Systems Development
Information Resources Management Journal
Systems Analysis and Design Models Revisited: A Case Study
Information Resources Management Journal
KBRE: a framework for knowledge-based requirements engineering
Software Quality Control
EXTRACTION OF PROCESS TYPES AND REMARKABLE STEPS ON BEHAVIOR BASED DIAGRAMS
Journal of Integrated Design & Process Science
What Sunday brunch can teach us about system design
Journal of Computing Sciences in Colleges
| Hi-index | 0.31 |