|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick (eds.) |
Requirements Engineering, Third Edition.  |
|
2011 |
DOI RDF |
|
| 1 | Jeremy Dick |
Requirements Engineering: Principles and Practice. |
Encyclopedia of Software Engineering  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan |
Using formal specifications to support testing. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
formal methods, Software testing |
| 1 | Jeremy Dick |
A Requirements Guide For All (REGAL): An INCOSE Initiative. |
RE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Dick |
Design Traceability. |
IEEE Software |
2005 |
DBLP DOI BibTeX RDF |
design, requirements, traceability |
| 1 | M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick |
Requirements Engineering, Second Edition. |
|
2005 |
RDF |
|
| 1 | Gauthier Fanmuy, Frederique Populus, Jean Rene, Jeremy Dick, Sjaak Brinkkemper, Matthias Weber, Philippe Baron |
Are Requirements Engineering best practices the same for all industries?. |
RE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Elizabeth C. Hull, Ken Jackson, Jeremy Dick |
Requirements Engineering. |
|
2002 |
RDF |
|
| 1 | Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods |
Making the Most of Formal Specification Through Animation, Testing and Proof. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Dick, Eoin Woods |
Lessons learned from rigorous system software development. |
Information & Software Technology |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Jeremy Dick, Eoin Woods |
Quantitative Analysis of an Application of Formal Methods. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen |
Applying the B Technologies on CICS. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Dick, Jérôme Loubersac |
A Visual Approach to VDM. |
SOFSEM |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Dick, Alain Faivre |
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Dick, Jérôme Loubersac |
The Visual Presentation of VDM Specifications. |
VDM Europe |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Dick, Jérôme Loubersac |
Integrating Structured and Formal Methods: A Visual Approach to VDM. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Dick, John Kalmus, Ursula Martin |
Automating the Knuth Bendix Ordering. |
Acta Inf. |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")