scispace - formally typeset
J

Jawed I. A. Siddiqi

Researcher at Sheffield Hallam University

Publications -  97
Citations -  789

Jawed I. A. Siddiqi is an academic researcher from Sheffield Hallam University. The author has contributed to research in topics: The Internet & Formal specification. The author has an hindex of 12, co-authored 97 publications receiving 774 citations. Previous affiliations of Jawed I. A. Siddiqi include University of Wolverhampton.

Papers
More filters
BookDOI

Formal Methods: State of the Art and New Directions

TL;DR: This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.
Journal ArticleDOI

An empirical investigation into problem decomposition strategies used in program design

TL;DR: Preliminary findings are presented of a research study into general problem decomposition strategies used in program design that revealed that solutions are strongly biased in favour of one of two paradigms.
Proceedings ArticleDOI

The classification of requirements engineering methods

TL;DR: A classification of requirements engineering methods based on the social assumptions made about organizations is presented and a decision aid for practitioners is included in the form of a table that classifies a representative sample of requirements Engineering methods.
Journal ArticleDOI

Challenging universal truths of requirements engineering

TL;DR: The author examines two widely held beliefs: requirements describe a system's "what", not its "how" and requirements must be represented as abstractions.