A simple approach to specifying concurrent systems
Communications of the ACM
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
A framework for formalizing inconsistencies and deviations in human-centered systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification-based prototyping for embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
TRAM: a tool for requirements and architecture management
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Requirements, domain and specifications: a viewpoint-based approach to requirements engineering
Proceedings of the 24th International Conference on Software Engineering
Goal-Oriented Requirements Specification for Digital Libraries
ECDL '02 Proceedings of the 6th European Conference on Research and Advanced Technology for Digital Libraries
Meeting Industry's Needs - Should We Teach the Software Engineering of the Past?
CSEE '96 Proceedings of the 9th Conference on Software Engineering Education
Toward Formalizing Domain Modeling Semantics in Language Syntax
IEEE Transactions on Software Engineering
A stakeholders centered approach for conceptual modeling of communication-intensive applications
Proceedings of the 23rd annual international conference on Design of communication: documenting & designing for pervasive information
"Large" abstractions for software engineering
Proceedings of the 2nd international workshop on The role of abstraction in software engineering
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Editorial: A roadmap of problem frames research
Information and Software Technology
Synthesis of live behaviour models
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Synthesis of live behaviour models for fallible domains
Proceedings of the 33rd International Conference on Software Engineering
Managing multi-jurisdictional requirements in the cloud: towards a computational legal landscape
Proceedings of the 3rd ACM workshop on Cloud computing security workshop
Synthesis of event-based controllers: a software engineering challenge
Proceedings of the 34th International Conference on Software Engineering
Integrating model checking and inductive logic programming
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Software engineering as the design theoretic transformation of software problems
Innovations in Systems and Software Engineering
A systematic elaboration of safety requirements in the avionic domain
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Assume-guarantee scenarios: semantics and synthesis
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Synthesizing nonanomalous event-based controllers for liveness goals
ACM Transactions on Software Engineering and Methodology (TOSEM)
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
A method and tool for tracing requirements into specifications
Science of Computer Programming
Guiding requirements engineering for software-intensive embedded systems in the automotive industry
Computer Science - Research and Development
Hi-index | 0.00 |