Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarMartin S. Feather
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2016
[j19]Martin S. Feather, Joel M. Wilf, Joseph Priest:
Metrics for V&V of cyber defenses. ISSE 12(2): 81-94 (2016)- [c49]Daniel Port, Joel M. Wilf, Madeline Diep, Carolyn B. Seaman, Martin S. Feather:
Developing a Value-Based Methodology for Satisfying NASA Software Assurance Requirements. HICSS 2016: 5642-5651 - 2013
- [c48]Martin S. Feather, Joel M. Wilf:
Visualization of Software Assurance Information. HICSS 2013: 4948-4956 - [c47]Martin S. Feather, Lawrence Z. Markosian:
Architecting and generalizing a safety case for critical condition detection software: an experience report. ASSURE@ICSE 2013: 29-33 - 2010
- [j18]Gregory Gay, Tim Menzies, Omid Jalali, Gregory E. Mundy, Beau Gilkerson, Martin S. Feather, James D. Kiper:
Finding robust solutions in requirements models. Autom. Softw. Eng. 17(1): 87-116 (2010)
2000 – 2009
- 2008
- [j17]Martin S. Feather, Steven L. Cornford, Kenneth A. Hicks, James D. Kiper, Tim Menzies:
A Broad, Quantitative Model for Making Early Requirements Decisions. IEEE Software 25(2): 49-56 (2008) - [c46]Martin S. Feather, Kenneth A. Hicks, Ryan M. Mackey, Serdar Uckun:
Guiding Technology Deployment Decisions using a Quantitative Requirements Analysis Technique. RE 2008: 271-276 - 2007
- [c45]James D. Kiper, Martin S. Feather, Julian Richardson:
Optimizing the V&V process for critical systems. GECCO 2007: 1139 - [c44]Tim Menzies, Oussama El-Rawas, Jairus Hihn, Martin S. Feather, Raymond J. Madachy, Barry W. Boehm:
The business case for automated software engineering. ASE 2007: 303-312 - [c43]
- 2006
- [c42]Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick:
Software Assurance Research Infusion: The NASA Experience. ISoLA 2006: 18-27 - [c41]Steven L. Cornford, Martin S. Feather, Vance A. Heron, J. Steven Jenkins:
Fusing Quantitative Requirements Analysis with Model-based Systems Engineering. RE 2006: 272-277 - 2005
- [j16]Martin S. Feather, Steven L. Cornford, Kenneth A. Hicks, Kenneth R. Johnson:
Applicatiuons of tool support for risk-informed requirements reasoning. Comput. Syst. Sci. Eng. 20(1) (2005) - [c40]James D. Kiper, Martin S. Feather:
A Risk-Based Approach to Strategic Decision-Making for Software Development. HICSS 2005 - [c39]Leila Meshkat, Martin S. Feather:
Decision & risk based design structures; decision support needs for conceptual, concurrent design. SMC 2005: 2408-2412 - 2004
- [j15]Michael Goedicke, Martin S. Feather:
Guest Editors' Introduction. Autom. Softw. Eng. 11(4): 335 (2004) - [c38]Martin S. Feather:
Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System Interface. ISSRE 2004: 391-402 - 2003
- [j14]Martin S. Feather, Steven L. Cornford:
Quantitative risk-based requirements reasoning. Requir. Eng. 8(4): 248-265 (2003) - [c37]Martin S. Feather, Tim Menzies, Judith R. Connelly:
Matching Software Practitioner Needs to Researcher Activities. APSEC 2003: 6-16 - [c36]
- [c35]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). ICSE 2003: 787-788 - [c34]Martin S. Feather, Tim Menzies, Judith R. Connelly:
Relating Practitioner Needs to Research Activities. RE 2003: 352- - [c33]Leila Meshkat, Martin S. Feather, Steven L. Cornford:
Traceability and Decision Capture in Semi-structured Contexts. SEKE 2003: 647-654 - [c32]Tim Menzies, James D. Kiper, Martin S. Feather:
Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools. SEKE 2003: 655-662 - 2002
- [c31]Shaosong Xu, Hoh Peter In, Martin S. Feather:
A Shared Information System Architecture for Integrating Risk Management Tools: A Case Study. COMPSAC 2002: 785-792 - [c30]Martin S. Feather, Tim Menzies:
Converging on the Optimal Attainment of Requirements. RE 2002: 263-272 - 2001
- [j13]Martin S. Feather, Benjamin D. Smith:
Automatic Generation of Test Oracles-From Pilot Studies to Application. Autom. Softw. Eng. 8(1): 31-61 (2001) - [c29]Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy:
Model-Checking for Validation of a Fault Protection System. HASE 2001: 32-41 - [c28]Martin S. Feather:
Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications. RE 2001: 288 - 2000
- [c27]Benjamin D. Smith, Martin S. Feather, Nicola Muscettola:
Challenges and Methods in Testing the Remote Agent Planner. AIPS 2000: 254-263 - [c26]Martin S. Feather, Steven L. Cornford, Mark Gibbel:
Scalable Mechanisms for Requirements Interaction Management. ICRE 2000: 119-129 - [c25]Steven L. Cornford, Martin S. Feather, John C. Kelly, Timothy W. Larson, Burton Sigal, James D. Kiper:
Design and Development Assessment. IWSSD 2000: 105-114 - [c24]Martin S. Feather, Steven L. Cornford, Timothy W. Larson:
Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support. ASE 2000: 309-312
1990 – 1999
- 1999
- [c23]Martin S. Feather, Benjamin D. Smith:
Automatic Generation of Test Oracles-From Pilot Studies to Application. ASE 1999: 63-72 - 1998
- [j12]Martin S. Feather:
Rapid Application of Lightweight Formal Methods for Consistency Analysis. IEEE Trans. Software Eng. 24(11): 949-959 (1998) - [c22]
- [c21]Martin S. Feather, Julia R. Dunphy, Nicolas Rouquette:
"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation. WIFT 1998: 140- - 1997
- [j11]Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde:
Requirements and Specification Exemplars. Autom. Softw. Eng. 4(4): 419-438 (1997) - [c20]Don Cohen, Martin S. Feather, Khaled Narayanaswamy, Stephen Fickas:
Automatic Monitoring of Software Requirements. ICSE 1997: 602-603 - 1995
- [c19]Stephen Fickas, Martin S. Feather:
Requirements monitoring in dynamic environments. RE 1995: 140-147 - 1994
- [j10]Martin S. Feather:
Towards a derivational style of distributed system design - An example. Autom. Softw. Eng. 1(1): 31-59 (1994) - [c18]Stephen Fickas, D. Tiktin, Martin S. Feather, Don Cohen:
Transformational design of distributed systems. CDS 1994: 214 - [c17]
- 1993
- [c16]
- [c15]Kevin Benner, Martin S. Feather, W. Lewis Johnson, Lorna A. Zorman:
Utilizing Scenarios in the Software Development Process. Information System Development Process 1993: 117-134 - [c14]
- [c13]Martin S. Feather:
Requirements reconnoitring at the juncture of domain and instance. RE 1993: 73-76 - [c12]
- [c11]Martin S. Feather:
Software Aberrations - Origins and Treatments. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems 1993: 1-15 - 1992
- [j9]W. Lewis Johnson, Martin S. Feather, David R. Harris:
Representation and Presentation of Requirements Knowledge. IEEE Trans. Software Eng. 18(10): 853-869 (1992) - [c10]Martin S. Feather:
Explorations on the formal frontier of distributed system design. KBSE 1992: 154-162 - 1991
- [j8]W. Lewis Johnson, Martin S. Feather, David R. Harris:
Integrating domain knowledge, requirements, and specifications. Journal of Systems Integration 1(3-4): 283-320 (1991) - [c9]
- [c8]Nikolaos G. Bourbakis, Robin Williams, Forouzan Golshani, Myron Flickner, Ted Laliotis, Sukhan Lee, José G. Delgado-Frias, Dan Hammerstrom, Cris Koutsougeras, Gerald G. Pechanek, Benjamin W. Wah, John Yen, Farokh B. Bastani, Tom Cooper, Karan Harbison-Briggs, Rudy Lauber, Alun D. Preece, Imran A. Zualkernan, W. T. Tsai, Daniel E. Cooke, Martin S. Feather, Stephen Fickas, N. Minsky, Peter G. Selfridge, Douglas Smith:
AI in multimedia (panel session). ICTAI 1991: 3-12 - [c7]Martin S. Feather, Stephen Fickas, B. Robert Helm:
Composite System Design: The Good News and the Bad News. KBSE 1991: 16-25 - [c6]W. Lewis Johnson, Martin S. Feather, David R. Harris:
The KBSA Requirements/Specifications Facet: ARIES. KBSE 1991: 48-56 - 1990
- [c5]W. Lewis Johnson, Martin S. Feather:
Building an Evolution Transformation Library. ICSE 1990: 238-248
1980 – 1989
- 1989
- [j7]Martin S. Feather:
Language issues in the specification and design of composite systems. SIGPLAN Notices 24(4): 159-161 (1989) - [j6]Martin S. Feather:
Constructing Specifications by Combining Parallel Elaborations. IEEE Trans. Software Eng. 15(2): 198-208 (1989) - 1988
- [j5]Dean Jacobs, Martin S. Feather:
Corrections to "A Synthesis of Several Sorting Algorithms" by J. Darlington. Acta Inf. 26(1/2): 19-23 (1988) - 1987
- [j4]Martin S. Feather:
Language Support for the Specification and Development of Composite Systems. ACM Trans. Program. Lang. Syst. 9(2): 198-234 (1987) - 1986
- [c4]Martin S. Feather:
An incremental approach to construting, explaining and maintaining specifications. ISPW 1986: 137-140 - 1982
- [j3]Philip E. London, Martin S. Feather:
Implementing Specification Freedoms. Sci. Comput. Program. 2(2): 91-131 (1982) - [j2]Martin S. Feather:
A System for Assisting Program Transformation. ACM Trans. Program. Lang. Syst. 4(1): 1-20 (1982) - [j1]Martin S. Feather:
Program Specification Applied to a Text Formatter. IEEE Trans. Software Eng. 8(5): 490-498 (1982) - 1981
- [c3]Robert Balzer, Alvin S. Cooperband, Martin S. Feather, Philip E. London, David S. Wile:
Application Downloading. ICSE 1981: 450-459 - 1980
- [c2]John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix:
Relationships Between and Among Models (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 77-82 - [c1]Martin S. Feather:
Some Contrasts and Considerations of an Approach to Modelling. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 121-123
1970 – 1979
- 1979
- [b1]Martin S. Feather:
A system for developing programs by transformation. University of Edinburgh, UK 1979
Coauthor Index
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-12-10 23:00 CET by the dblp team