|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 18 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jie Long, Cory Reimschussel, Ontario Britton, Anthony Hall, Michael Jones |
Motion Capture for a Natural Tree in the Wind.  |
MIG  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
Integrating Z into Large Projects Tools and Techniques. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
Realising the Benefits of Formal Methods. |
J. UCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney |
Retrenchment and the Atomicity Pattern. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
Realising the Benefits of Formal Methods. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
Making Formal Methods Work. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
Software Verification and Software Engineering a Practitioner's Perspective. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall, Roderick Chapman |
Correctness by Construction: Developing a Commercial Secure System. |
IEEE Software |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
Z Styles for Security Properties and Modern User Interfaces. |
FASec |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
Correctness by Construction: Integrating Formality into a Commercial Development Process. |
FME |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Hammond, Rosamund Rawlings, Anthony Hall |
Will It Work? (PDF / PS) |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
A Unified Approach to Systems and Software Requirements. (PDF / PS) |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
What Does Industry Need From Formal Specification Techniques? (PDF / PS) |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
Taking Z Seriously. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
What's the Use of Requirements Engineering? (PDF / PS) |
RE |
1997 |
DBLP DOI BibTeX RDF |
method selection, formal specification, requirements engineering, informality, conflict resolution, pragmatism |
| 1 | Adrian Cox, Anthony Hall |
A Real Time Kernel to Support the Transputer Programming Model. |
HPCN |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos G. Bourbakis, Richard Andel, Anthony Hall |
Visual Target Tracking and Extraction from a Sequence of Images. (PDF / PS) |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
visual target tracking, target extraction, heuristic segmentation, still camera, still target, human-like feedback geometric approach, low-resolution information processing, simulation, feature extraction, edge detection, graphs, image sequence, fractals, video sequence, target tracking, attributes, region growing, thinning, moving target, moving camera |
| 1 | Anthony Hall |
Do interactive systems need specifications? |
DSV-IS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Anthony Hall |
Using Formal Methods to Develop an ATC Information System. |
IEEE Software |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave |
An Invitation to Formal Methods. |
IEEE Computer |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett |
The Future of Formal Methods in Industry. |
ZUM |
1995 |
DBLP BibTeX RDF |
|
| 1 | Anthony Hall |
Specifying and Interpreting Class Hierarchies in Z. |
Z User Workshop |
1994 |
DBLP BibTeX RDF |
|
| 1 | Anthony Hall |
Is Software Engineering? |
CSEE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
Seven Myths of Formal Methods. |
IEEE Software |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
Using Z as a Specification Calculus for Object-Oriented Systems. |
VDM Europe |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hall |
Tool Interfaces in Integrated Project Support Environments. |
ICSE |
1987 |
DBLP BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")