Software engineering with Ada
An integrated approach to software development
An integrated approach to software development
Abstract data types and software validation
Communications of the ACM
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Systematic Programming: An Introduction
Systematic Programming: An Introduction
Communications of the ACM
PHRAN-SPAN: a natural language interface for system specifications
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
A comparison of four design methods for real-time systems
ICSE '87 Proceedings of the 9th international conference on Software Engineering
ACM SIGPLAN Notices
Teaching the abstract data type in CS2
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Functional Refinement and Nested Objects for Object-Oriented Design
IEEE Transactions on Software Engineering
Software development process from natural language specification
ICSE '89 Proceedings of the 11th international conference on Software engineering
Control and Definition Modularization: an Improved Software Design Technique for Organizing Programs
IEEE Transactions on Software Engineering
A prototype system for extracting objects from software specifications
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
Structured analysis and object-oriented development are not compatible
ACM SIGAda Ada Letters
Simple yet complete heuristics for transforming data flow diagrams into Booch style diagrams
ACM SIGAda Ada Letters
Automatic Synthesis of SARA Design Models from System Requirements
IEEE Transactions on Software Engineering
The evolution of an object oriented development method
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
ESA—an expert supported OOA method and tool
ACM SIGSOFT Software Engineering Notes
Comparing object-oriented and data flow models—a case study
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Using object oriented structured development to implement a hybrid system
ACM SIGSOFT Software Engineering Notes
A framework for understanding the integration of design methodologies
ACM SIGSOFT Software Engineering Notes
Creating formal specifications from requirements documents
ACM SIGSOFT Software Engineering Notes
How to identify binary relations for domain models
Proceedings of the 18th international conference on Software engineering
Using object modeling to transform structured analysis into object oriented design
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Using object-oriented thinking to teach Ada
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Object-oriented programming and design patterns
ACM SIGCSE Bulletin
Autonomous Agents and Multi-Agent Systems
A brief history of the object-oriented approach
ACM SIGSOFT Software Engineering Notes
Developing Document Analysis and Data Extraction Tools for Entity Modelling
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference
Extending UML to Support Ontology Engineering for the Semantic Web
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Teaching object-oriented analysis and design by "Cruisin' the classifieds for business objects"
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
A quantitative and qualitative analysis of factors affecting software processes
Journal of Systems and Software
Natural Language Engineering
Sotware modularization using requirements attributes
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
A Program Design Language for software engineering
ACM SIGPLAN Notices
GOOAL: an educational object oriented analysis laboratory
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
On the Systematic Analysis of Natural Language Requirements with CIRCE
Automated Software Engineering
Toward software requirements modularization using hierarchical clustering techniques
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Requirements validation via automated natural language parsing
Journal of Management Information Systems - Special section: Information technology and its organizational impact
Software Design and Architecture The once and future focus of software engineering
FOSE '07 2007 Future of Software Engineering
Conceptual modelling tool for novice designers
International Journal of Metadata, Semantics and Ontologies
Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
On the Identification of Goals in Stakeholders' Dialogs
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Automatic Checklist Generation for the Assessment of UML Models
Models in Software Engineering
Validating Documentation with Domain Ontologies
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Translation of Textual Specifications to Automata by Means of Discourse Context Modeling
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Understanding system specifications written in natural language
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
UCOT: semiautomatic generation of conceptual models from use case descriptions
SE '08 Proceedings of the IASTED International Conference on Software Engineering
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
An agile process for the creation of conceptual models from content descriptions
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information systems
Scenario Analysis: Generation of Possible Scenario Interpretations and their Visualization
REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
Pattern-based generation of test plans for open distributed processing systems
Proceedings of the 5th Workshop on Automation of Software Test
Extracting conceptual graphs from Japanese documents for software requirements modeling
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Parsed use case descriptions as a basis for object-oriented class model generation
Journal of Systems and Software
From requirements to models: feedback generation as a result of formalization
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
TORC: test plan optimization by requirements clustering
Software Quality Control
Towards requirement analysis pattern for learning agents
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Domain expert centered ontology reuse for conceptual models
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part II
SBEAVER: a tool for modeling business vocabularies and business rules
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
NLDB'09 Proceedings of the 14th international conference on Applications of Natural Language to Information Systems
Analysis patterns for learning agents
Proceedings of the 15th European Conference on Pattern Languages of Programs
Using machine learning to enhance automated requirements model transformation
Proceedings of the 34th International Conference on Software Engineering
Treatment of passive voice and conjunctions in use case documents
NLDB'07 Proceedings of the 12th international conference on Applications of Natural Language to Information Systems
Hi-index | 48.23 |