|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 13 keywords
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mike Joy, Georgina Cosma, Jane Yau, Jane Sinclair |
Source Code Plagiarism - A Student Perspective.  |
IEEE Trans. Education  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason R. C. Nurse, Jane Sinclair |
BOF4WSS: A Business-Oriented Framework for Enhancing Web Services Security for e-Business. |
ICIW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason R. C. Nurse, Jane Sinclair |
Supporting the Comparison of Business-Level Security Requirements within Cross-Enterprise Service Development. |
BIS |
2009 |
DBLP DOI BibTeX RDF |
business-level security requirements, systems development approach, ontology, Web services, risk management |
| 1 | Joy N. Reed, A. W. Roscoe, J. E. Sinclair |
Responsiveness and stable revivals. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Model-checking, CSP, Semantic model, Responsiveness |
| 1 | Joy N. Reed, A. W. Roscoe, Jane Sinclair |
Machine-Verifiable Responsiveness. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chien-An Chen, Sara Kalvala, Jane Sinclair |
Race-free Scenarios of Message Sequence Charts. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chien-An Chen, Sara Kalvala, Jane Sinclair |
A Process-Based Semantics for Message Sequence Charts with Data. |
Australian Software Engineering Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chien-An Chen, Sara Kalvala, Jane Sinclair |
Race Conditions in Message Sequence Charts. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joy N. Reed, J. E. Sinclair, A. W. Roscoe |
Responsiveness of interoperating components. |
Formal Asp. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Refinement, CSP, Deadlock, Responsiveness, Component-based systems |
| 1 | Joy N. Reed, Jane Sinclair |
Motivating Study of Formal Methods in the Classroom. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joy N. Reed, Jane Sinclair |
Combining Independent Specifications. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Joy N. Reed, J. E. Sinclair |
Refinement-Preserving Plug-In Components. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Meurig Beynon, Jaratsri Rungrattanaubol, Jane Sinclair |
Formal Specification from an Observation-oriented Perspective. |
J. UCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Joy N. Reed, J. E. Sinclair, F. Guigand |
Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. |
IFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Joy N. Reed, J. E. Sinclair |
Routing - A Challenge to Formal Methods. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jane Sinclair |
Action Systems for Security Specification. |
Journal of Computer Security |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jane Sinclair |
Action Systems for Security Specification. |
CSFW |
1996 |
DBLP DOI BibTeX RDF |
security development, formal methods, noninterference, Action systems |
| 1 | Jane Sinclair, Jim Woodcock |
Event Refinement in State-Based Concurrent Systems. |
Formal Asp. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | H. W. Yau, K. A. Cliffe, J. E. Sinclair, P. J. Sumner |
The Parallelization of the AEA Probabilistic Safety Assessment Program, MASCOT. |
HPCN |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Potter, Jane Sinclair, David Till |
Introduction to formal specification and Z. |
|
1991 |
RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")