The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin S. Feather: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Philip E. London, Martin S. Feather
    Implementing Specification Freedoms. [Citation Graph (2, 0)][DBLP]
    Sci. Comput. Program., 1982, v:2, n:2, pp:91-131 [Journal]
  2. W. Lewis Johnson, Martin S. Feather, David R. Harris
    Representation and Presentation of Requirements Knowledge. [Citation Graph (2, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:10, pp:853-869 [Journal]
  3. Martin S. Feather, Stephen Fickas, B. Robert Helm
    Composite System Design: The Good News and the Bad News. [Citation Graph (1, 0)][DBLP]
    KBSE, 1991, pp:16-25 [Conf]
  4. Martin S. Feather
    Language Support for the Specification and Development of Composite Systems. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1987, v:9, n:2, pp:198-234 [Journal]
  5. Martin S. Feather
    Constructing Specifications by Combining Parallel Elaborations. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:2, pp:198-208 [Journal]
  6. Benjamin D. Smith, Martin S. Feather, Nicola Muscettola
    Challenges and Methods in Testing the Remote Agent Planner. [Citation Graph (0, 0)][DBLP]
    AIPS, 2000, pp:254-263 [Conf]
  7. Martin S. Feather, Tim Menzies, Judith R. Connelly
    Matching Software Practitioner Needs to Researcher Activities. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:6-16 [Conf]
  8. Shaosong Xu, Hoh Peter In, Martin S. Feather
    A Shared Information System Architecture for Integrating Risk Management Tools: A Case Study. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:785-792 [Conf]
  9. Martin S. Feather
    Requirements Engineering - Getting Right from Wrong. [Citation Graph (0, 0)][DBLP]
    ESEC, 1991, pp:485-488 [Conf]
  10. Martin S. Feather
    Low-cost pathways towards formal methods use. [Citation Graph (0, 0)][DBLP]
    FMSP, 1998, pp:85-91 [Conf]
  11. Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy
    Model-Checking for Validation of a Fault Protection System. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:32-41 [Conf]
  12. James D. Kiper, Martin S. Feather
    A Risk-Based Approach to Strategic Decision-Making for Software Development. [Citation Graph (0, 0)][DBLP]
    HICSS, 2005, pp:- [Conf]
  13. Martin S. Feather, Steven L. Cornford, Mark Gibbel
    Scalable Mechanisms for Requirements Interaction Management. [Citation Graph (0, 0)][DBLP]
    ICRE, 2000, pp:119-129 [Conf]
  14. Robert Balzer, A. Cooperband, Martin S. Feather, Philip E. London, David S. Wile
    Application Downloading. [Citation Graph (0, 0)][DBLP]
    ICSE, 1981, pp:450-459 [Conf]
  15. Don Cohen, Martin S. Feather, Khaled Narayanaswamy, Stephen Fickas
    Automatic Monitoring of Software Requirements. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:602-603 [Conf]
  16. Martin S. Feather, Allen P. Nikora, Constance L. Heitmeyer, Nancy R. Mead
    ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003). [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:787-788 [Conf]
  17. W. Lewis Johnson, Martin S. Feather
    Building an Evolution Transformation Library. [Citation Graph (0, 0)][DBLP]
    ICSE, 1990, pp:238-248 [Conf]
  18. Martin S. Feather
    Behavior-Oriented Specification in Gist. [Citation Graph (0, 0)][DBLP]
    Formal Program Development, 1993, pp:89-122 [Conf]
  19. Kevin Benner, Martin S. Feather, W. Lewis Johnson, Lorna A. Zorman
    Utilizing Scenarios in the Software Development Process. [Citation Graph (0, 0)][DBLP]
    Information System Development Process, 1993, pp:117-134 [Conf]
  20. Martin S. Feather
    An incremental approach to construting, explaining and maintaining specifications. [Citation Graph (0, 0)][DBLP]
    ISPW, 1986, pp:137-140 [Conf]
  21. Martin S. Feather
    Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System Interface. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2004, pp:391-402 [Conf]
  22. Steven L. Cornford, Martin S. Feather, John C. Kelly, Timothy W. Larson, Burton Sigal, James D. Kiper
    Design and Development Assessment. [Citation Graph (0, 0)][DBLP]
    IWSSD, 2000, pp:105-114 [Conf]
  23. Martin S. Feather, Steven L. Cornford, Timothy W. Larson
    Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:309-312 [Conf]
  24. Martin S. Feather, Stephen Fickas
    A Framework for Distributed System Designs. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:6-13 [Conf]
  25. Martin S. Feather, Benjamin D. Smith
    Automatic Generation of Test Oracles-From Pilot Studies to Application. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:63-72 [Conf]
  26. W. Lewis Johnson, Martin S. Feather, David R. Harris
    The KBSA Requirements/Specifications Facet: ARIES. [Citation Graph (0, 0)][DBLP]
    KBSE, 1991, pp:48-56 [Conf]
  27. Martin S. Feather
    Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:288- [Conf]
  28. Martin S. Feather, Tim Menzies
    Converging on the Optimal Attainment of Requirements. [Citation Graph (0, 0)][DBLP]
    RE, 2002, pp:263-272 [Conf]
  29. Martin S. Feather, Tim Menzies, Judith R. Connelly
    Relating Practitioner Needs to Research Activities. [Citation Graph (0, 0)][DBLP]
    RE, 2003, pp:352-0 [Conf]
  30. Stephen Fickas, Martin S. Feather
    Requirements monitoring in dynamic environments. [Citation Graph (0, 0)][DBLP]
    RE, 1995, pp:140-147 [Conf]
  31. Steven L. Cornford, Martin S. Feather, Vance A. Heron, J. Steven Jenkins
    Fusing Quantitative Requirements Analysis with Model-based Systems Engineering. [Citation Graph (0, 0)][DBLP]
    RE, 2006, pp:272-277 [Conf]
  32. Tim Menzies, James D. Kiper, Martin S. Feather
    Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:655-662 [Conf]
  33. Leila Meshkat, Martin S. Feather, Steven L. Cornford
    Traceability and Decision Capture in Semi-structured Contexts. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:647-654 [Conf]
  34. Martin S. Feather
    Cardinality Evolution in Specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:575-583 [Conf]
  35. Martin S. Feather
    Some Contrasts and Considerations of an Approach to Modelling. [Citation Graph (0, 0)][DBLP]
    Workshop on Data Abstraction, Databases and Conceptual Modelling, 1980, pp:121-123 [Conf]
  36. John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix
    Relationships Between and Among Models (discussion). [Citation Graph (0, 0)][DBLP]
    Workshop on Data Abstraction, Databases and Conceptual Modelling, 1980, pp:77-82 [Conf]
  37. Martin S. Feather
    Software Aberrations - Origins and Treatments. [Citation Graph (0, 0)][DBLP]
    SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, 1993, pp:1-15 [Conf]
  38. Martin S. Feather, Julia R. Dunphy, Nicolas Rouquette
    "Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation. [Citation Graph (0, 0)][DBLP]
    WIFT, 1998, pp:140-0 [Conf]
  39. Dean Jacobs, Martin S. Feather
    Corrections to ``A Synthesis of Several Sorting Algorithms'' by J. Darlington. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1988, v:26, n:1/2, pp:19-23 [Journal]
  40. Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde
    Requirements and Specification Exemplars. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1997, v:4, n:4, pp:419-438 [Journal]
  41. Martin S. Feather, Benjamin D. Smith
    Automatic Generation of Test Oracles-From Pilot Studies to Application. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2001, v:8, n:1, pp:31-61 [Journal]
  42. Michael Goedicke, Martin S. Feather
    Guest Editors' Introduction. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:4, pp:335-335 [Journal]
  43. Martin S. Feather, Steven L. Cornford, Kenneth A. Hicks, Kenneth R. Johnson
    Applicatiuons of tool support for risk-informed requirements reasoning. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2005, v:20, n:1, pp:- [Journal]
  44. Martin S. Feather, Steven L. Cornford
    Quantitative risk-based requirements reasoning. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2003, v:8, n:4, pp:248-265 [Journal]
  45. Martin S. Feather
    Language issues in the specification and design of composite systems. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1989, v:24, n:4, pp:159-161 [Journal]
  46. Martin S. Feather
    A System for Assisting Program Transformation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:1, pp:1-20 [Journal]
  47. Martin S. Feather
    Program Specification Applied to a Text Formatter. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1982, v:8, n:5, pp:490-498 [Journal]
  48. Martin S. Feather
    Rapid Application of Lightweight Formal Methods for Consistency Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:11, pp:949-959 [Journal]
  49. James D. Kiper, Martin S. Feather, Julian Richardson
    Optimizing the V&V process for critical systems. [Citation Graph (0, 0)][DBLP]
    GECCO, 2007, pp:1139- [Conf]

  50. Requirements, Architectures and Risks. [Citation Graph (, )][DBLP]


  51. Software Assurance Research Infusion: The NASA Experience. [Citation Graph (, )][DBLP]


  52. The business case for automated software engineering. [Citation Graph (, )][DBLP]


  53. Guiding Technology Deployment Decisions using a Quantitative Requirements Analysis Technique. [Citation Graph (, )][DBLP]


  54. Defect Detection and Prevention (DDP). [Citation Graph (, )][DBLP]


Search in 1.088secs, Finished in 1.091secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002