Martin S. Feather

	2008
56		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
55		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)
	2007
54		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
53		James D. Kiper, Martin S. Feather, Julian Richardson: Optimizing the V&V process for critical systems. GECCO 2007: 1139
52		Martin S. Feather: Defect Detection and Prevention (DDP). Monterey Workshop 2007: 13-14
	2006
51		Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick: Software Assurance Research Infusion: The NASA Experience. ISoLA 2006: 18-27
50		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
49		James D. Kiper, Martin S. Feather: A Risk-Based Approach to Strategic Decision-Making for Software Development. HICSS 2005
48		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)
	2004
47		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
46		Michael Goedicke, Martin S. Feather: Guest Editors' Introduction. Autom. Softw. Eng. 11(4): 335-335 (2004)
	2003
45		Martin S. Feather, Tim Menzies, Judith R. Connelly: Matching Software Practitioner Needs to Researcher Activities. APSEC 2003: 6-16
44		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
43		Martin S. Feather, Tim Menzies, Judith R. Connelly: Relating Practitioner Needs to Research Activities. RE 2003: 352-
42		Leila Meshkat, Martin S. Feather, Steven L. Cornford: Traceability and Decision Capture in Semi-structured Contexts. SEKE 2003: 647-654
41		Tim Menzies, James D. Kiper, Martin S. Feather: Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools. SEKE 2003: 655-662
40		James D. Kiper, Martin S. Feather: Requirements, Architectures and Risks. STRAW 2003: 100-106
39		Martin S. Feather, Steven L. Cornford: Quantitative risk-based requirements reasoning. Requir. Eng. 8(4): 248-265 (2003)
	2002
38		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
37		Martin S. Feather, Tim Menzies: Converging on the Optimal Attainment of Requirements. RE 2002: 263-272
	2001
36		Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy: Model-Checking for Validation of a Fault Protection System. HASE 2001: 32-41
35		Martin S. Feather: Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications. RE 2001: 288
34		Martin S. Feather, Benjamin D. Smith: Automatic Generation of Test Oracles-From Pilot Studies to Application. Autom. Softw. Eng. 8(1): 31-61 (2001)
	2000
33		Benjamin D. Smith, Martin S. Feather, Nicola Muscettola: Challenges and Methods in Testing the Remote Agent Planner. AIPS 2000: 254-263
32		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
31		Martin S. Feather, Steven L. Cornford, Mark Gibbel: Scalable Mechanisms for Requirements Interaction Management. ICRE 2000: 119-129
30		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
	1999
29		Martin S. Feather, Benjamin D. Smith: Automatic Generation of Test Oracles-From Pilot Studies to Application. ASE 1999: 63-72
	1998
28		Martin S. Feather: Low-cost pathways towards formal methods use. FMSP 1998: 85-91
27		Martin S. Feather, Julia R. Dunphy, Nicolas Rouquette: "Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation. WIFT 1998: 140-
26		Martin S. Feather: Rapid Application of Lightweight Formal Methods for Consistency Analysis. IEEE Trans. Software Eng. 24(11): 949-959 (1998)
	1997
25		Don Cohen, Martin S. Feather, Khaled Narayanaswamy, Stephen Fickas: Automatic Monitoring of Software Requirements. ICSE 1997: 602-603
24		Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde: Requirements and Specification Exemplars. Autom. Softw. Eng. 4(4): 419-438 (1997)
	1995
23		Stephen Fickas, Martin S. Feather: Requirements monitoring in dynamic environments. RE 1995: 140-147
	1994
22		Martin S. Feather, Stephen Fickas: A Framework for Distributed System Designs. KBSE 1994: 6-13
	1993
21		Martin S. Feather: Behavior-Oriented Specification in Gist. Formal Program Development 1993: 89-122
20		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
19		Martin S. Feather: Cardinality Evolution in Specifications. SEKE 1993: 575-583
18		Martin S. Feather: Software Aberrations - Origins and Treatments. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems 1993: 1-15
	1992
17		W. Lewis Johnson, Martin S. Feather, David R. Harris: Representation and Presentation of Requirements Knowledge. IEEE Trans. Software Eng. 18(10): 853-869 (1992)
	1991
16		Martin S. Feather: Requirements Engineering - Getting Right from Wrong. ESEC 1991: 485-488
15		Martin S. Feather, Stephen Fickas, B. Robert Helm: Composite System Design: The Good News and the Bad News. KBSE 1991: 16-25
14		W. Lewis Johnson, Martin S. Feather, David R. Harris: The KBSA Requirements/Specifications Facet: ARIES. KBSE 1991: 48-56
13		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)
	1990
12		W. Lewis Johnson, Martin S. Feather: Building an Evolution Transformation Library. ICSE 1990: 238-248
	1989
11		Martin S. Feather: Constructing Specifications by Combining Parallel Elaborations. IEEE Trans. Software Eng. 15(2): 198-208 (1989)
10		Martin S. Feather: Language issues in the specification and design of composite systems. SIGPLAN Notices 24(4): 159-161 (1989)
	1988
9		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
8		Martin S. Feather: Language Support for the Specification and Development of Composite Systems. ACM Trans. Program. Lang. Syst. 9(2): 198-234 (1987)
	1986
7		Martin S. Feather: An incremental approach to construting, explaining and maintaining specifications. ISPW 1986: 137-140
	1982
6		Martin S. Feather: A System for Assisting Program Transformation. ACM Trans. Program. Lang. Syst. 4(1): 1-20 (1982)
5		Martin S. Feather: Program Specification Applied to a Text Formatter. IEEE Trans. Software Eng. 8(5): 490-498 (1982)
4		Philip E. London, Martin S. Feather: Implementing Specification Freedoms. Sci. Comput. Program. 2(2): 91-131 (1982)
	1981
3		Robert Balzer, A. Cooperband, Martin S. Feather, Philip E. London, David S. Wile: Application Downloading. ICSE 1981: 450-459
	1980
2		Martin S. Feather: Some Contrasts and Considerations of an Approach to Modelling. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 121-123
1		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

Coauthor Index

1	Robert Balzer	[3]
2	Kevin Benner	[20]
3	Barry W. Boehm	[54]
4	Don Cohen	[25]
5	Judith R. Connelly	[43] [45]
6	A. Cooperband	[3]
7	Steven L. Cornford	[30] [31] [32] [39] [42] [48] [50] [55]
8	Wes Deadrick	[51]
9	Julia R. Dunphy	[27]
10	Oussama El-Rawas	[54]
11	Stephen Fickas	[15] [22] [23] [24] [25] [36]
12	Anthony Finkelstein	[24]
13	Mark Gibbel	[31]
14	Michael Goedicke	[46]
15	David R. Harris	[13] [14] [17]
16	Constance L. Heitmeyer (Connie Heitmeyer)	[44]
17	B. Robert Helm	[15]
18	Gary G. Hendrix	[1]
19	Vance A. Heron	[50]
20	Kenneth A. Hicks	[48] [55] [56]
21	Jairus Hihn	[54]
22	Michael G. Hinchey (Mike Hinchey)	[51]
23	Hoh Peter In (Hoh In)	[38]
24	Dean Jacobs	[9]
25	J. Steven Jenkins	[50]
26	Kenneth R. Johnson	[48]
27	W. Lewis Johnson	[12] [13] [14] [17] [20]
28	John C. Kelly	[30]
29	James D. Kiper	[30] [40] [41] [49] [53] [55]
30	Axel van Lamsweerde	[24]
31	Timothy W. Larson	[30] [32]
32	Philip E. London	[3] [4]
33	Ryan M. Mackey	[56]
34	Raymond J. Madachy	[54]
35	Lawrence Markosian	[51]
36	Nancy R. Mead	[44]
37	Tim Menzies	[37] [41] [43] [45] [54] [55]
38	Leila Meshkat	[42]
39	Bertrand Meyer	[1]
40	Nicola Muscettola	[33]
41	John Mylopoulos	[1]
42	Khaled Narayanaswamy	[25]
43	Allen P. Nikora	[44]
44	Paolo Paolini	[1]
45	Thomas Pressburger	[51]
46	N.-A. Razermera-Mamy	[36]
47	Julian Richardson	[53]
48	Nicolas Rouquette	[27]
49	Burton Sigal	[30]
50	Benjamin D. Smith	[29] [33] [34]
51	Diane C. P. Smith	[1]
52	Serdar Uckun	[56]
53	David S. Wile	[3]
54	Shaosong Xu	[38]
55	Lorna A. Zorman	[20]

Colors in the list of coauthors