dblp.uni-trier.dewww.uni-trier.de

Martin S. Feather Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
56EEMartin S. Feather, Kenneth A. Hicks, Ryan M. Mackey, Serdar Uckun: Guiding Technology Deployment Decisions using a Quantitative Requirements Analysis Technique. RE 2008: 271-276
55EEMartin 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
54EETim 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
53EEJames D. Kiper, Martin S. Feather, Julian Richardson: Optimizing the V&V process for critical systems. GECCO 2007: 1139
52EEMartin S. Feather: Defect Detection and Prevention (DDP). Monterey Workshop 2007: 13-14
2006
51EEMichael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick: Software Assurance Research Infusion: The NASA Experience. ISoLA 2006: 18-27
50EESteven 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
49EEJames 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
47EEMartin 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
46EEMichael Goedicke, Martin S. Feather: Guest Editors' Introduction. Autom. Softw. Eng. 11(4): 335-335 (2004)
2003
45EEMartin S. Feather, Tim Menzies, Judith R. Connelly: Matching Software Practitioner Needs to Researcher Activities. APSEC 2003: 6-16
44EEMartin 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
43EEMartin 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
40EEJames D. Kiper, Martin S. Feather: Requirements, Architectures and Risks. STRAW 2003: 100-106
39EEMartin S. Feather, Steven L. Cornford: Quantitative risk-based requirements reasoning. Requir. Eng. 8(4): 248-265 (2003)
2002
38EEShaosong Xu, Hoh Peter In, Martin S. Feather: A Shared Information System Architecture for Integrating Risk Management Tools: A Case Study. COMPSAC 2002: 785-792
37EEMartin 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
35EEMartin 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
32EEMartin S. Feather, Steven L. Cornford, Timothy W. Larson: Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support. ASE 2000: 309-312
31EEMartin S. Feather, Steven L. Cornford, Mark Gibbel: Scalable Mechanisms for Requirements Interaction Management. ICRE 2000: 119-129
30EESteven 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
29EEMartin S. Feather, Benjamin D. Smith: Automatic Generation of Test Oracles-From Pilot Studies to Application. ASE 1999: 63-72
1998
28EEMartin S. Feather: Low-cost pathways towards formal methods use. FMSP 1998: 85-91
27EEMartin S. Feather, Julia R. Dunphy, Nicolas Rouquette: "Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation. WIFT 1998: 140-
26EEMartin S. Feather: Rapid Application of Lightweight Formal Methods for Consistency Analysis. IEEE Trans. Software Eng. 24(11): 949-959 (1998)
1997
25EEDon 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
23EEStephen 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
17EEW. 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
13EEW. 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
11EEMartin S. Feather: Constructing Specifications by Combining Parallel Elaborations. IEEE Trans. Software Eng. 15(2): 198-208 (1989)
10EEMartin 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
8EEMartin 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
6EEMartin 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
2EEMartin S. Feather: Some Contrasts and Considerations of an Approach to Modelling. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 121-123
1EEJohn 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)