Formal specification, Software development, Social software engineering, Viewpoints and Theoretical computer science are his primary areas of study. His Formal specification study combines topics in areas such as Data mining, Verification and validation, Formal methods, Formal verification and Requirements elicitation. Steve Easterbrook combines subjects such as Requirement, Requirements engineering, Requirements analysis and Software Engineering Process Group with his study of Social software engineering.
His work in Requirement addresses subjects such as Software requirements, which are connected to disciplines such as Systems engineering. His Requirements engineering research focuses on subjects like Software system, which are linked to Software design. His work on Model checking and Temporal logic as part of general Theoretical computer science research is frequently linked to Merge, thereby connecting diverse disciplines of science.
Steve Easterbrook spends much of his time researching Software engineering, Software, Software development, Formal specification and Requirements engineering. His studies in Software development integrate themes in fields like Software system and Data science. The Data science study combines topics in areas such as Management science and Process.
The concepts of his Formal specification study are interwoven with issues in Formal verification, Theoretical computer science, Data mining, Formal methods and Reliability engineering. His Requirements engineering research incorporates themes from Knowledge management, Requirements analysis and Systems engineering. Steve Easterbrook interconnects Software peer review, Software Engineering Process Group and Software requirements in the investigation of issues within Social software engineering.
The scientist’s investigation covers issues in Knowledge management, Information and Communications Technology, Artificial intelligence, Process and Software system. As a member of one scientific family, Steve Easterbrook mostly works in the field of Knowledge management, focusing on Systems thinking and, on occasion, Health care, Ontology and Information science. He studied Process and Key that intersect with Password.
His Software system research is multidisciplinary, incorporating elements of Requirement and Requirements engineering. Requirements engineering is a subfield of Software that he tackles. He has included themes like Software development and Social software engineering in his Requirements analysis study.
His primary areas of study are Software system, Sustainable design, Knowledge management, Code and Engineering ethics. His Software system study incorporates themes from Requirements engineering and Software development. His research investigates the link between Requirements engineering and topics such as Engineering management that cross with problems in Social software engineering.
His Social software engineering study combines topics from a wide range of disciplines, such as Software engineering and Requirements analysis. His Code research is multidisciplinary, incorporating elements of Theoretical computer science and Institution. His Engineering ethics research is multidisciplinary, relying on both Conversation, Software design and Set.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Requirements engineering: a roadmap
Bashar Nuseibeh;Steve Easterbrook.
international conference on software engineering (2000)
Selecting Empirical Methods for Software Engineering Research
Steve Easterbrook;Janice Singer;Margaret-Anne D. Storey;Daniela E. Damian.
Matching and Merging of Statecharts Specifications
Shiva Nejati;Mehrdad Sabetzadeh;Marsha Chechik;Steve Easterbrook.
international conference on software engineering (2007)
Using benchmarking to advance research: a challenge to software engineering
Susan Elliott Sim;Steve Easterbrook;Richard C. Holt.
international conference on software engineering (2003)
Using ViewPoints for inconsistency management
Steve M. Easterbrook;Bashar Nuseibeh.
Software Engineering Journal (1996)
Multi-valued symbolic model-checking
Marsha Chechik;Benet Devereux;Steve Easterbrook;Arie Gurfinkel.
ACM Transactions on Software Engineering and Methodology (2003)
Leveraging inconsistency in software development
B. Nuseibeh;S. Easterbrook;A. Russo.
IEEE Computer (2000)
Communication Problems in Requirements Engineering: A Field Study
Amer Al-Rawas;Steve Easterbrook.
Proceedings of the First Westminster Conference on Professional Awareness in Software Engineering (1996)
Research Issues in the Study of Computer Supported Collaborative Writing
M. Sharples;J. S. Goodlet;E. E. Beck;C. C. Wood.
Experiences using lightweight formal methods for requirements modeling
S. Easterbrook;R. Lutz;R. Covington;J. Kelly.
IEEE Transactions on Software Engineering (1998)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: