A distributed alternative to finite-state-machine specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Systems programming with JSP: example—a VDU controller
Communications of the ACM
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Relating software requirements to software design
ACM SIGSOFT Software Engineering Notes
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
The kernel of a generic software development environment
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Characteristics and functions of software environments: an overview
ACM SIGSOFT Software Engineering Notes
Designing large real-time systems with Ada
Communications of the ACM
System development methodology using LOGOS
APL '87 Proceedings of the international conference on APL: APL in transition
The PIOCO model for information systems design
MIS Quarterly
Pancode and boxcharts: structured programming revisited
ACM SIGPLAN Notices
The JSP-Tutor: a computerized aid for teaching Jackson structured programming
ACM SIGSMALL/PC Notes
On the use of formal methods in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Cost/benefit analysis for incorporating human factors in the software lifecycle
Communications of the ACM
Knowledge engineering for software design
ACM SIGSOFT Software Engineering Notes
A Distributed Specification Model and its Prototyping
IEEE Transactions on Software Engineering
A simple technique to motivate structured programming
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Software Complexity and its Impact on Software Reliability
IEEE Transactions on Software Engineering
Modeling of data-processing software for generating and reusing their programs
ICSE '88 Proceedings of the 10th international conference on Software engineering
A structured approach to program optimization
IEEE Transactions 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
A formalism for the definition of graphical formulas
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
Programming as process: a “novel” approach to teaching programming
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
What is to become of programming?
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
ACM SIGSOFT Software Engineering Notes
A formal adaption method for process descriptions
ICSE '89 Proceedings of the 11th international conference on Software engineering
The use of lexical affinities in requirements extraction
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
An Empirical Comparison of Textual and Graphical Data Structure Documentation for Cobol Programs
IEEE Transactions on Software Engineering
The object-oriented systems life cycle
Communications of the ACM
An Ontological Model of an Information System
IEEE Transactions on Software Engineering
Coping with changes in an object management system based on attribute grammars
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Ada tasking as a tool for ecological modelling
ACM SIGAda Ada Letters
A model for measuring information system size
MIS Quarterly
Programming with Streams in a Pascal-Like Language
IEEE Transactions on Software Engineering
Programming language RIGAL as a compiler writing tool
ACM SIGPLAN Notices
An Executable Language for Modeling Simple Behavior
IEEE Transactions on Software Engineering
Porting and optimising star: a case study of suffering and surfacing
APL '92 Proceedings of the international conference on APL
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements specification: learning object, process, and data methodologies
Communications of the ACM
Correctness and composition of software architectures
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
A Model for Software Product Quality
IEEE Transactions on Software Engineering
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Aspect: an economical bug-detector
ICSE '91 Proceedings of the 13th international conference on Software engineering
Toward new techniques to assess the software implementation process
ICSE '91 Proceedings of the 13th international conference on Software engineering
RECAST: reverse engineering from COBOL to SSADM specification
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Transforming Ada serving tasks into protected objects
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Escaping the software tar pit: model clashes and how to avoid them
ACM SIGSOFT Software Engineering Notes
Metrics in the software engineering curriculum
Annals of Software Engineering - Special issue on software engineering education
Communications of the ACM
Communications of the ACM
Programming pearls: the Furbelow memorandum
Communications of the ACM
Communications of the ACM
System development methodologies and tools: possible influences and implications
SIGCPR '86 Proceedings of the twenty-second annual computer personnel research conference on Computer personnel research conference
Development concerns for a software design quality expert system
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Software engineerng applied to discrete event simulations
WSC '86 Proceedings of the 18th conference on Winter simulation
The design of a PDL environment
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Technological advances in software engineering
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Validation of Scientific Programs
ACM Computing Surveys (CSUR)
Applicability of Software Validation Techniques to Scientific Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Annals of the History of Computing
The operational versus the conventional approach to software development
Communications of the ACM
A software design method for real-time systems
Communications of the ACM
Communications of the ACM
Contemporary software development environments
Communications of the ACM
Communications of the ACM
Software engineering for the Cobol environment
Communications of the ACM
Comments on program specification and testing
Communications of the ACM
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
Technical correspondence: file updating—still once more
Communications of the ACM
Technical correspondence: File updating—still once more. author's response
Communications of the ACM
An analysis of programming environments
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Modeling of problem domains for driving program development systems
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
What design heuristics may enhance the utility of a formal specification?
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation
Automated Software Engineering
Statistical Methods for Predicting and Improving Cohesion Using Information Flow: An Empirical Study
Software Quality Control
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
A Study of 12 Specifications of the Library Problem
IEEE Software
IEEE Software
Function Point Analysis: Difficulties and Improvements
IEEE Transactions on Software Engineering
Systematic Program Development
IEEE Transactions on Software Engineering
An Algebra for Data Flow Diagram Process Decomposition
IEEE Transactions on Software Engineering
An Automated Software Design Assistant
IEEE Transactions on Software Engineering
Specifying Transaction-Based Information Systems with Regular Expressions
IEEE Transactions on Software Engineering
Experience with an Approach to Comparing Software Design Methodologies
IEEE Transactions on Software Engineering
A brief history of the object-oriented approach
ACM SIGSOFT Software Engineering Notes
Integration of Behavioural Requirements Specification within Knowledge Engineering
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Aspect-Oriented Configuration and Adaptation of Component Communication
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Conceptual Modeling Challenges for Model-Based Architecting and Software Engineering (MBASE)
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
Software Creation: Detail of Human Design Knowledge and Its Application to Automatic Software Design
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
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
Using Jackson diagrams to classify and define data structures
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
A project-unified software engineering course sequence
SIGCSE '82 Proceedings of the thirteenth SIGCSE technical symposium on Computer science education
Tutorial on structure charts as an algorithm design tool
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
The data transform programming method: An example for file processing problems
ICSE '84 Proceedings of the 7th international conference on Software engineering
Functional programming and logical programming for the telegram analysis problem
ICSE '84 Proceedings of the 7th international conference on Software engineering
Software engineering applied to computer-aided design (CAD) software development
DAC '81 Proceedings of the 18th Design Automation Conference
Interactive software development tool: ISDT
ICSE '81 Proceedings of the 5th international conference on Software engineering
Development of computer programs by problem analysis Diagram(PAD)
ICSE '81 Proceedings of the 5th international conference on Software engineering
ICSE '79 Proceedings of the 4th international conference on Software engineering
EPOS - a specification and design technique for computer controlled real-time automation systems
ICSE '79 Proceedings of the 4th international conference on Software engineering
The use of a Module Interconnection Language in the SARA system design methodology
ICSE '79 Proceedings of the 4th international conference on Software engineering
Structured design methodologies
DAC '78 Proceedings of the 15th Design Automation Conference
A proposed curriculum for software engineering education
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Information systems: Modelling, sequencing and transformations
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Software engineering and simulation
WSC '79 Proceedings of the 11th conference on Winter simulation - Volume 2
Accelerated program training in a developing country
SIGCPR '79 Proceedings of the sixteenth annual SIGCPR conference
A project-oriented undergraduate course sequence in software engineering
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
Extending the power of programming by examples
Proceedings of the SIGOA conference on Office information systems
M.H. Halstead's Software Science - a critical examination
ICSE '82 Proceedings of the 6th international conference on Software engineering
A form-based approach to human engineering methodologies
ICSE '82 Proceedings of the 6th international conference on Software engineering
Data-driven implementation of data flow diagrams
ICSE '82 Proceedings of the 6th international conference on Software engineering
The measurement of software science parameters in software designs
Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality
A retrospective on software engineering in design automation
DAC '82 Proceedings of the 19th Design Automation Conference
The second course in computer programming: Some principles and consequences
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
Operational specification languages
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
ACM '81 Proceedings of the ACM '81 conference
Structured programming in the 1980s
ACM '80 Proceedings of the ACM 1980 annual conference
Educator's view of structured concepts
ACM '80 Proceedings of the ACM 1980 annual conference
Software requirements in the 80's
ACM '80 Proceedings of the ACM 1980 annual conference
Structured requirements definition in the 80s
ACM '80 Proceedings of the ACM 1980 annual conference
Basic program design - the Jackson way: An example
ACM '77 Proceedings of the 1977 annual conference
ACM '77 Proceedings of the 1977 annual conference
The evolution of specification techniques
ACM '77 Proceedings of the 1977 annual conference
Deriving a logical data model for a system using the RECAST method
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Reverse engineering as a bridge to CASE
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Automating Language Conversion: A Case Study
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Automatically Restructuring Programs for the Web
Proceedings of the 16th IEEE international conference on Automated software engineering
Software pioneers
Constructive methods of program design
Software pioneers
Teaching Software Engineering in a Compiler Project Course
Journal on Educational Resources in Computing (JERIC)
Why software writing is difficult and will remain so
Information Processing Letters - Special issue: Contribution to computing science
Prettyprinting PASCAL programs
ACM SIGPLAN Notices
Structure charts a structured alternative to flowcharts
ACM SIGPLAN Notices
Cost, quality and user satisfaction of software products: an empirical analysis
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Hancock: A language for analyzing transactional data streams
ACM Transactions on Programming Languages and Systems (TOPLAS)
Building large-scale Bayesian networks
The Knowledge Engineering Review
The programmer as navigator: a discourse on program structure
ACM SIGPLAN Notices
Module interconnection languages and Prolog
ACM SIGPLAN Notices
A data-oriented introduction to program design
ACM SIGCSE Bulletin
Jackson techniques for elementary data processing
ACM SIGCSE Bulletin
A project-oriented course for software systems development
ACM SIGCSE Bulletin
Modular assembler language programming
ACM SIGCSE Bulletin
A method for specifying structured programs
ACM SIGSOFT Software Engineering Notes
An approach to defining areas within the field of software engineering
ACM SIGSOFT Software Engineering Notes
Use of annotated schemes for developing prototype programs
Proceedings of the workshop on Rapid prototyping
A comparison of design methodologies
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Structure charts for Jackson structured programming
ACM SIGSOFT Software Engineering Notes
Contemporary software development environments
ACM SIGSOFT Software Engineering Notes
Comparisons of quality metrics
ACM SIGSOFT Software Engineering Notes
An intelligent multi-display terminal system towards: a better programming environment
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Understanding the software paradox
ACM SIGSOFT Software Engineering Notes
An assessment of structured analysis and structured design
ACM SIGSOFT Software Engineering Notes
Automatically Restructuring Programs for the Web
Automated Software Engineering
Exxon's experience with the Michael Jackson design method
ACM SIGMIS Database - Proceedings of a conference on Application Development Systems, Santa Clara, California, March 10-11, 1980
On state-dependent workload characterization by software resources
SIGMETRICS '82 Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems
An Expectant Chat About Script Maturity
LISA '00 Proceedings of the 14th USENIX conference on System administration
It's Mathematical, After All--the Nature of Learning Computer Programming
Education and Information Technologies
A view of 20th and 21st century software engineering
Proceedings of the 28th international conference on Software engineering
Scenario-driven modeling and validation of requirements models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Metamorphisms: Streaming representation-changers
Science of Computer Programming
Classics in software engineering
Software Design and Architecture The once and future focus of software engineering
FOSE '07 2007 Future of Software Engineering
Modeling and Evolving Crosscutting Concerns in ADORA
EARLYASPECTS '07 Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design
IEEE Transactions on Computers
A software quality strategy for the development of automatic control systems
International Journal of Computer Applications in Technology
Verified Safety and Information Flow of a Block Device
Electronic Notes in Theoretical Computer Science (ENTCS)
Patterns for agile development practice part 3 (version 4)
Proceedings of the 2006 conference on Pattern languages of programs
The cognitive consequences of object-oriented design
Human-Computer Interaction
On the relationship between workflow models and document types
Information Systems
Automated software engineering: supporting understanding
Automated Software Engineering
Cognitive activities and levels of abstraction in procedural and object-oriented design
Human-Computer Interaction
Dynamic capabilities in the software process
International Journal of Information Technology and Management
Software management issues for new system designs
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
The choice of new software development methodologies for software development projects
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
CARL: experience of an application using clusters
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Choosing application development tools and techniques
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Inspired software design early jackson methods to thread architectures
ACM SIGSOFT Software Engineering Notes
A New Way of Automatic Design of Software (Simulating Human Intentional Activity)
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
A simple architecture for consistent application program design
IBM Systems Journal
Architecture prototyping in the software engineering environment
IBM Systems Journal
IBM Systems Journal
Software engineering: an emerging discipline
IBM Systems Journal
A simple architecture for consistent application program design
IBM Systems Journal
Consistency in the Business System Model
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
R-technology: A soviet visual programming environment
Journal of Visual Languages and Computing
Data-driven modeling and coordination of large process structures
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Use of software engineering methodologies in a computer science curriculum
ACM-SE 15 Proceedings of the 15th annual Southeast regional conference
Development of a Commercial Product Including Software
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
A design perspective on modularity
Proceedings of the tenth international conference on Aspect-oriented software development
Prototyping: the new paradigm for systems development
MIS Quarterly
MIS Quarterly
A comparative examination of systems analysis techniques
MIS Quarterly
A process for assessing data quality
Proceedings of the 8th international workshop on Software quality
Software services: scientific challenge or industrial hype?
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Dependable and Historic Computing
JSD = Δ CSP ⊕ TLZ: a case study
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Design and implementation of an adaptable software environment
Computer Languages
The identification and management of latent software assets
International Journal of Information Management: The Journal for Information Professionals
The relationship between design and verification
Journal of Systems and Software
Functional testing and design abstractions
Journal of Systems and Software
Software development for reliable software systems
Journal of Systems and Software
Modeling and projection in software development
Journal of Systems and Software
Towards design engineering of ubiquitous information systems
DESRIST'12 Proceedings of the 7th international conference on Design Science Research in Information Systems: advances in theory and practice
The diagram of flow: its departure from software engineering and its return
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Aspects of abstraction in software development
Software and Systems Modeling (SoSyM)
Hi-index | 0.30 |