High productivity techniques for large APL system
APL '89 Conference proceedings on APL as a tool of thought
Entity-life modeling and structured analysis in real-time software design—a comparison
Communications of the ACM
Conceptual Modeling in the Context of Development
IEEE Transactions on Software Engineering
Interactive Systems: Bridging the Gaps Between Developers and Users
Computer - Special issue on instruction sequencing
Impacts of life cycle models on software configuration management
Communications of the ACM
DSS structure and algorithmic transparency in APL
APL '91 Proceedings of the international conference on APL '91
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
A method for mapping an analysis to a reusable design
ACM SIGAda Ada Letters
Designing for cooperation: cooperating in design
Communications of the ACM
SA-2-Ada: a methodology for deriving Ada designs from structured analysis specifications
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
CAPS as a requirements engineering tool
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
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
Modelling business rules in an office environment
ACM SIGOIS Bulletin - Special issue on information system design support tools
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Experiments with Oval: a radically tailorable tool for cooperative work
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Identifying a complete object oriented life cycle for large systems development
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
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)
Interface: an evolving concept
Communications of the ACM - Special issue on graphical user interfaces
A methodology for software cost estimation
ACM SIGSOFT Software Engineering Notes
Information systems security design methods: implications for information systems development
ACM Computing Surveys (CSUR)
Dynamic programming in a pure functional language
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
A simple straightforward method for software development
ACM SIGSOFT Software Engineering Notes
Using object oriented structured development to implement a hybrid system
ACM SIGSOFT Software Engineering Notes
Preserving knowledge in design projects: what designers need to know
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
Generating user interfaces from data models and dialogue net specifications
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
Applying multiple views to information systems: a preliminary framework
ACM SIGMIS Database
Physical database design: a decision support model
ACM SIGMIS Database
Requirements specification: learning object, process, and data methodologies
Communications of the ACM
“Excellent” systems analysts: key audience perceptions
ACM SIGCPR Computer Personnel
Identification of complete data flow diagrams
ACM SIGSOFT Software Engineering Notes
Experiments with Oval: a radically tailorable tool for cooperative work
ACM Transactions on Information Systems (TOIS)
Is APL2 a good programming language?
APL '95 Proceedings of the international conference on Applied programming languages
Applying specialization to process models
COCS '95 Proceedings of conference on Organizational computing systems
ACM SIGSOFT Software Engineering Notes
The correctly analyzed system which behaves incorrectly
ACM SIGSOFT Software Engineering Notes
An integration of scenarios with their purposes in task modeling
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
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
ACM SIGSOFT Software Engineering Notes
Estimating understandability of software documents
ACM SIGSOFT Software Engineering Notes
ITiCSE '96 Proceedings of the 1st conference on Integrating technology into computer science education
ICSE '94 Proceedings of the 16th international conference on Software engineering
SAAM: a method for analyzing the properties of software architectures
ICSE '94 Proceedings of the 16th international conference on Software engineering
How is the designer different from the user?—Focusing on a software development methodology
ESP '97 Papers presented at the seventh workshop on Empirical studies of programmers
ACM SIGSOFT Software Engineering Notes
Lessons from Using Z to Specify a Software Tool
IEEE Transactions on Software Engineering
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
Conceptual schema analysis: techniques and applications
ACM Transactions on Database Systems (TODS)
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
Exercises for teaching logic in a formal methods course: formalizing ERDs
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Visual software development using an object-relationship model
ACM-SE 37 Proceedings of the 37th annual Southeast regional conference (CD-ROM)
PRIME—toward process-integrated modeling environments: 1
ACM Transactions on Software Engineering and Methodology (TOSEM)
Levels of detail (LOD) engineering of VR objects
Proceedings of the ACM symposium on Virtual reality software and technology
Multiparadigm design of a simple relational database
ACM SIGPLAN Notices
Object orientation in hierarchical predicate transition nets
Concurrent object-oriented programming and petri nets
New paradigms in problem solving environments for scientific computing
Proceedings of the 7th international conference on Intelligent user interfaces
A user requirements elicitation tool
ACM SIGSOFT Software Engineering Notes
Systems development education and methodology adoption
ACM SIGCPR Computer Personnel
Knowledge structuring and representation in requirement specification
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A simple method & tool for web engineering
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
A practical approach to combining requirements definition and object-oriented analysis
Annals of Software Engineering
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
From conceptual modelling to requirements engineering
Annals of Software Engineering
Developing Knowledge-Based Systems with MIKE
Automated Software Engineering
Picking the Right Problem Frame—An Empirical Study
Empirical Software Engineering
Empirical Software Engineering
Software Process Models and Project Performance
Information Systems Frontiers
Information Technology and Management
Evaluating the Contributions of a Structured Software Development and Maintenance Methodology
Information Technology and Management
Software requirements validation via task analysis
Journal of Systems and Software
Autonomous Agents and Multi-Agent Systems
Model-Driven Distributed Systems
IEEE Parallel & Distributed Technology: Systems & Technology
A General Theory for Evolving Application Models
IEEE Transactions on Knowledge and Data Engineering
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
Modeling and Simulating Work Practice: A Method for Work Systems Design
IEEE Intelligent Systems
Structuring Primitives for a Dictionary of Entity Relationship Data Schemas
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Distributed Information Systems: An Advanced Methodology
IEEE Transactions on Software Engineering
A Three-View Model for Performance Engineering of Concurrent Software
IEEE Transactions on Software Engineering
Task oriented non-linear method for interactive hypervideo media editing systems
Proceedings of the tenth ACM international conference on Multimedia
Annals of cases on information technology
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
Techniques for Reactive System Design: The Tools in TRADE
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Developing Quality Software Systems Using the SOFL Formal Engineering Method
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Development and Evolution of Web-Applications Using the WebComposition Process Model
Web Engineering, Software Engineering and Web Application Development
Understanding and Modelling Business Processes with DEMO
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Modelling Method Heuristics for Better Quality Products
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Automating Scenario-Driven Structured Requirements Engineering
COMPSAC '00 24th International Computer Software and Applications Conference
Using hypermedia in requirements engineering practice
The New Review of Hypermedia and Multimedia
Towards a real-time object-oriented modeling approach
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Applying SOFL to Develop a University Information System
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Object-Oriented Essential Modeling
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Reasoning about participation constraints and Chen's constraints
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
HW/SW specification using OOM techniques
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
SEE '95 Proceedings of the 1995 Software Engineering Environment Conferences
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)
An environment for cooperative construction of natural-language requirement bases
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
The role of the individual project in teaching Knowledge Acquisition
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
A Step by Step Method for Conceptual Data Analysis
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
A Rigorous Approach to Reviewing Formal Specifications
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Retrieving information from data flow diagrams
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Applying SOFL to Specify A Railway Crossing Controller for Industry
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Process-Oriented Development of Embedded Systems: Modeling Behavior and Dependability
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Automatic Generation of Formal Specification from Requirements Definition
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Critical reflections on information systems
Use Case Driven Structured Analysis
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Defining specialization for dataflow diagrams
Information Systems
An example of applying the codesign method MOOSE
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Unifying access to heterogeneous document databases through contextual metadata
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
Transforming UML class diagrams into relational data models
UML and the unified process
Users as developers: conditions and effects of user systems development
Computing information technology
Knowledge management systems acceptance
Knowledge management
The psychology of information modeling
Advanced topics in database research vol. 1
Modeling back office operations at greenfield online's digital consumer store
Annals of cases on information technology
Improving graphical information system model use with elision and connecting lines
ACM Transactions on Computer-Human Interaction (TOCHI)
Designing embedded systems using patterns: a case study
Journal of Systems and Software - Special issue: Computer systems
Box-structured methods for systems development with objects
IBM Systems Journal
Technical note: business function specification of commercial applications
IBM Systems Journal
A conceptual model of information supply
Data & Knowledge Engineering
Communications of the ACM
A framework for modeling and implementing visual notations with applications to software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards Formalised Guidelines for Migrating Structured Designs to UML: A Case Study
Software Quality Control
Ontological modeling for software application development
Advances in Engineering Software
Using roles and business objects to model and understand business processes
Proceedings of the 2005 ACM symposium on Applied computing
Modeling aspect mechanisms: a top-down approach
Proceedings of the 28th international conference on Software engineering
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
Journal of Systems and Software
A Methodology for Architectural Design of Concurrent and Distributed Software Systems
The Journal of Supercomputing
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
Business process modeling with group support systems
Journal of Management 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
The double role of ontologies in information science research: Research Articles
Journal of the American Society for Information Science and Technology
A Systems Engineering Environment For Integrated Automotive Powertrain Development
Journal of Integrated Design & Process Science
Information Systems Research
Using semi-formal methods for detecting interactions among smart homes policies
Science of Computer Programming
An Integrative Functional Approach for Automated Manufacturing Systems Modeling
Integrated Computer-Aided Engineering
A Dynamic Framework for Classifying Information Systems Development Methodologies and Approaches
Journal of Management Information Systems
A unified framework for the quality management of manufacturing systems software development
International Journal of Computer Applications in Technology
Knowledge reuse for software reuse
Web Intelligence and Agent Systems
User requirements of mobile technology: A summary of research results
Information-Knowledge-Systems Management - Enterprise Mobility: Applications, Technologes and Strategies
A conceptual model for negotiating in service-oriented environments
Information Processing Letters
Cognitive support: extending human knowledge and processing capacities
Human-Computer Interaction
The untrained eye: how languages for software specification support understanding in untrained users
Human-Computer Interaction
MUST: a method for participatory design
Human-Computer Interaction
A wiki-based approach to method tailoring
Proceedings of the 3rd International Conference on the Pragmatic Web: Innovating the Interactive Society
A Case for ViewPoints and Documents
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Efficient symbolic computation of process expressions
Science of Computer Programming
An approach to derive the use case diagrams from an event table
SEPADS'09 Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems
Coordination analysis: a method for deriving use cases from process dependencies
Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology
Inference Rules of Semantic Dependencies in the Enterprise Modelling
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
A Perspective Ontology and IS Perspectives
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Integrating top-down and scenario-based methods for constructing software specifications
Information and Software Technology
Modelling Product-User Interaction for Inclusive Design
UAHCI '09 Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Addressing Diversity. Part I: Held as Part of HCI International 2009
Generative walkthroughs: to support creative redesign
Proceedings of the seventh ACM conference on Creativity and cognition
Building syntax-aware editors for visual languages
Journal of Visual Languages and Computing
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Determinants of software quality: A survey of information systems project managers
Information and Software Technology
A SIP-based web client for HTTP session mobility and multimedia services
Computer Communications
A generic constraints-based framework for business modeling
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Modular architecture of the microfactories for automatic micro-assembly
Robotics and Computer-Integrated Manufacturing
Business process modeling languages: Sorting through the alphabet soup
ACM Computing Surveys (CSUR)
Infusing agility in business processes through an event-centric approach
International Journal of Business Information Systems
Towards an open framework for conceptual knowledge in ECBS domain and information modelling
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Employing use-cases for piecewise evaluation of requirements and claims
Proceedings of the 28th Annual European Conference on Cognitive Ergonomics
DESRIST'11 Proceedings of the 6th international conference on Service-oriented perspectives in design science research
Requirements engineering for web applications: a comparative study
Journal of Web Engineering
Information systems management issues for the 1990s
MIS Quarterly
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
Journal of Management Information Systems
Application development of mobile Transjakarta route map: (case study: Jakarta Indonesia)
Proceedings of the 9th International Conference on Advances in Mobile Computing and Multimedia
Towards dependable swarms and a new discipline of swarm engineering
SAB'04 Proceedings of the 2004 international conference on Swarm Robotics
Information system modeling for analysis of propagation effects and levels of damage
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part III
Realising strategic management reengineering objectives with DEMO
CM'96 Proceedings of the First international conference on Communication Modeling: The language/action perspective
Formal analysis of concurrent real-time requirements models
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
A Cognitive Model Based Approach for Organizational Conflict Resolution
International Journal of Information Management: The Journal for Information Professionals
Software and Systems Modeling (SoSyM)
Prediction of software quality based on variables from the development process
KES'12 Proceedings of the 16th international conference on Knowledge Engineering, Machine Learning and Lattice Computing with Applications
Modeling indoor lighting inspection robot behavior using Concurrent Communicating Lists
Expert Systems with Applications: An International Journal
| Hi-index | 0.08 |