|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 36 occurrences of 21 keywords
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martin P. Ward, Hussein Zedan |
Deriving a Slicing Algorithm via FermaT Transformations.  |
IEEE Trans. Software Eng.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Chen, Hong Zhou, Hongji Yang, Martin P. Ward, William Cheng-Chung Chu |
Requirements Recovery by Matching Domain Ontology and Program Ontology. |
COMPSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward, Hussein Zedan |
Combining dynamic and static slicing for analysing assembler. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward, Hussein Zedan |
Transformational Programming and the Derivation of Algorithms. |
ISCIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward |
The FermaT Maintenance Environment Tool Demonstration. |
SCAM |
2009 |
DBLP DOI BibTeX RDF |
formal methods, reverse engineering, Program transformation, analysis, migration, transformation system |
| 1 | Martin P. Ward |
Properties of Slicing Definitions. |
SCAM |
2009 |
DBLP DOI BibTeX RDF |
properties of slicing, semi-refinement, refinement, program analysis, transformation, Program Slicing, slicing |
| 1 | Martin P. Ward, Hussein Zedan, Matthias Ladkau, Stefan Natelberg |
Conditioned semantic slicing for abstraction; industrial experiment. |
Softw., Pract. Exper. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward |
How knowledge companies succeed. |
J. Knowledge Management |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward, Hussein Zedan |
Slicing as a program transformation. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
FermaT, formal methods, reverse engineering, program transformation, reengineering, Slicing |
| 1 | Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward |
ConSUS: a light-weight program conditioner. |
Journal of Systems and Software |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward, Hussein Zedan |
MetaWSL and Meta-Transformations in the FermaT Transformation System. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward, Hussein Zedan, T. Hardcastle |
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. |
CSMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward |
Pigs from sausages? Reengineering from assembler to C via FermaT transformations. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward, Hussein Zedan, T. Hardcastle |
Legacy Assembler Reengineering and Migration. |
ICSM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward |
Slicing the SCAM Mug: A Case Study in Semantic Slicing. |
SCAM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Millham, Martin P. Ward, Hongji Yang |
Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
COBOL Legacy Systems, Unified Modelling Language (UML), Reverse Engineering, Reengineering, Wide Spectrum Language (WSL) |
| 1 | Martin P. Ward |
Program Slicing via FermaT Transformations. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward |
ConSUS: A Scalable Approach to Conditioned Slicing. (PDF / PS) |
WCRE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward |
Reverse Engineering from Assembler to Formal Specifications via Program Transformations |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Martin P. Ward |
The Formal Transformation Approach to Source Code Analysis and Manipulation. |
SCAM |
2001 |
DBLP DOI BibTeX RDF |
amorphous slicing, conditioned slicing, semantic slicing, Formal Methods, Transformation, Slicing, WSL |
| 1 | Martin P. Ward |
The FermaT Assembler Re-engineering Workbench. (PDF / PS) |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
Reverse Engineering Migration, Formal Methods, Program Transformation, Legacy Systems, Comprehension, Assembler, Restructuring, Re-engineering, WSL, Wide Spectrum Language |
| 1 | Martin P. Ward |
Reverse Engineering from Assembler to Formal Specifications via Program Transformations. (PDF / PS) |
WCRE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward, Keith H. Bennett |
Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension. |
Comput. J. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward |
Assembler to C Migration Using the FermaT Transformation System. (PDF / PS) |
ICSM |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward |
Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
transformational development, graph marking, Schorr-Waite, ghost variables, recursion removal, pointer switching, refinement, transformation, Program development, data refinement |
| 1 | Martin P. Ward, Keith H. Bennett |
Formal Methods to Aid the Evolution of Software. |
International Journal of Software Engineering and Knowledge Engineering |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward |
Language-Oriented Programming. |
Software - Concepts and Tools |
1994 |
DBLP BibTeX RDF |
|
| 1 | Hilary A. Priestley, Martin P. Ward |
A Multipurpose Backtracking Algorithm. |
J. Symb. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward |
Reverse Engineering through Formal Transformation: Knuths 'Polynomial Addition' Algorithm. |
Comput. J. |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")