Martin S. Feather

	2010
59		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)
	2008
58		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
57		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
56		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
55		James D. Kiper, Martin S. Feather, Julian Richardson: Optimizing the V&V process for critical systems. GECCO 2007: 1139
54		Martin S. Feather: Defect Detection and Prevention (DDP). Monterey Workshop 2007: 13-14
	2006
53		Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick: Software Assurance Research Infusion: The NASA Experience. ISoLA 2006: 18-27
52		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
51		James D. Kiper, Martin S. Feather: A Risk-Based Approach to Strategic Decision-Making for Software Development. HICSS 2005
50		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
49		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
48		Michael Goedicke, Martin S. Feather: Guest Editors' Introduction. Autom. Softw. Eng. 11(4): 335 (2004)
	2003
47		Martin S. Feather, Tim Menzies, Judith R. Connelly: Matching Software Practitioner Needs to Researcher Activities. APSEC 2003: 6-16
46		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
45		Martin S. Feather, Tim Menzies, Judith R. Connelly: Relating Practitioner Needs to Research Activities. RE 2003: 352-
44		Leila Meshkat, Martin S. Feather, Steven L. Cornford: Traceability and Decision Capture in Semi-structured Contexts. SEKE 2003: 647-654
43		Tim Menzies, James D. Kiper, Martin S. Feather: Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools. SEKE 2003: 655-662
42		James D. Kiper, Martin S. Feather: Requirements, Architectures and Risks. STRAW 2003: 100-106
41		Martin S. Feather, Steven L. Cornford: Quantitative risk-based requirements reasoning. Requir. Eng. 8(4): 248-265 (2003)
	2002
40		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
39		Martin S. Feather, Tim Menzies: Converging on the Optimal Attainment of Requirements. RE 2002: 263-272
	2001
38		Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy: Model-Checking for Validation of a Fault Protection System. HASE 2001: 32-41
37		Martin S. Feather: Risk Reduction Using DDP (Defect Detection and Prevention): Software Support and Software Applications. RE 2001: 288
36		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
35		Benjamin D. Smith, Martin S. Feather, Nicola Muscettola: Challenges and Methods in Testing the Remote Agent Planner. AIPS 2000: 254-263
34		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
33		Martin S. Feather, Steven L. Cornford, Mark Gibbel: Scalable Mechanisms for Requirements Interaction Management. ICRE 2000: 119-129
32		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
31		Martin S. Feather, Benjamin D. Smith: Automatic Generation of Test Oracles-From Pilot Studies to Application. ASE 1999: 63-72
	1998
30		Martin S. Feather: Low-cost pathways towards formal methods use. FMSP 1998: 85-91
29		Martin S. Feather, Julia R. Dunphy, Nicolas Rouquette: "Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation. WIFT 1998: 140-
28		Martin S. Feather: Rapid Application of Lightweight Formal Methods for Consistency Analysis. IEEE Trans. Software Eng. 24(11): 949-959 (1998)
	1997
27		Don Cohen, Martin S. Feather, Khaled Narayanaswamy, Stephen Fickas: Automatic Monitoring of Software Requirements. ICSE 1997: 602-603
26		Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde: Requirements and Specification Exemplars. Autom. Softw. Eng. 4(4): 419-438 (1997)
	1995
25		Stephen Fickas, Martin S. Feather: Requirements monitoring in dynamic environments. RE 1995: 140-147
	1994
24		Stephen Fickas, D. Tiktin, Martin S. Feather, Don Cohen: Transformational design of distributed systems. CDS 1994: 214
23		Martin S. Feather, Stephen Fickas: A Framework for Distributed System Designs. KBSE 1994: 6-13
22		Martin S. Feather: Towards a derivational style of distributed system design - An example. Autom. Softw. Eng. 1(1): 31-59 (1994)
	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 (Robert M. Balzer)	[3]
2	Kevin Benner	[20]
3	Barry W. Boehm	[56]
4	Don Cohen	[24] [27]
5	Judith R. Connelly	[45] [47]
6	A. Cooperband	[3]
7	Steven L. Cornford	[32] [33] [34] [41] [44] [50] [52] [57]
8	Wes Deadrick	[53]
9	Julia R. Dunphy	[29]
10	Oussama El-Rawas	[56]
11	Stephen Fickas	[15] [23] [24] [25] [26] [27] [38]
12	Anthony Finkelstein	[26]
13	Gregory Gay	[59]
14	Mark Gibbel	[33]
15	Beau Gilkerson	[59]
16	Michael Goedicke	[48]
17	David R. Harris	[13] [14] [17]
18	Constance L. Heitmeyer (Connie Heitmeyer)	[46]
19	B. Robert Helm	[15]
20	Gary G. Hendrix	[1]
21	Vance A. Heron	[52]
22	Kenneth A. Hicks	[50] [57] [58]
23	Jairus Hihn	[56]
24	Michael G. Hinchey (Mike Hinchey)	[53]
25	Hoh Peter In (Hoh In)	[40]
26	Dean Jacobs	[9]
27	Omid Jalali	[59]
28	J. Steven Jenkins	[52]
29	Kenneth R. Johnson	[50]
30	W. Lewis Johnson	[12] [13] [14] [17] [20]
31	John C. Kelly	[32]
32	James D. Kiper	[32] [42] [43] [51] [55] [57] [59]
33	Axel van Lamsweerde	[26]
34	Timothy W. Larson	[32] [34]
35	Philip E. London	[3] [4]
36	Ryan M. Mackey	[58]
37	Raymond J. Madachy	[56]
38	Lawrence Markosian	[53]
39	Nancy R. Mead	[46]
40	Tim Menzies	[39] [43] [45] [47] [56] [57] [59]
41	Leila Meshkat	[44]
42	Bertrand Meyer	[1]
43	Gregory E. Mundy	[59]
44	Nicola Muscettola	[35]
45	John Mylopoulos	[1]
46	Khaled Narayanaswamy	[27]
47	Allen P. Nikora	[46]
48	Paolo Paolini	[1]
49	Thomas Pressburger	[53]
50	N.-A. Razermera-Mamy	[38]
51	Julian Richardson	[55]
52	Nicolas Rouquette	[29]
53	Burton Sigal	[32]
54	Benjamin D. Smith	[31] [35] [36]
55	Diane C. P. Smith	[1]
56	D. Tiktin	[24]
57	Serdar Uckun	[58]
58	David S. Wile	[3]
59	Shaosong Xu	[40]
60	Lorna A. Zorman	[20]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page