[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

SobelClarkson02

  1. Ann E Kelley Sobel & Michael R Clarkson
  2. Formal methods application: An Empirical Tale of Software Development
  3. IEEE Trans Software Engineering V28n3(Mar 2002)pp308-320 + Correspondence (Beery & Tichy) V29n6(Jun 2003)pp567-575
  4. =EXPERIMENT FORMAL NONSEQUENTIAL LOGIC SPECIFICATION DERIVATION METRICS UML lift problem c++ MFC
  5. Compared formally vs informally developed programs by students for controlling elevators.nn E Kelley Sobel & Michael R Clarkson
  6. Formal methods application: An Empirical Tale of Software Development
  7. IEEE Trans Software Engineering V28n3(Mar 2002)pp308-320 + Correspondence (Beery & Tichy) V29n6(Jun 2003)pp567-575
  8. =EXPERIMENT FORMAL NONSEQUENTIAL LOGIC SPECIFICATION DERIVATION METRICS UML lift problem c++ MFC
  9. Methods first order logic, UML diagrams,pseudocode,
  10. differences: formal group 100% functional vs <50% of the informal groups. most formal groups handed in UML vs no informal groups did.
  11. Similarities. No statistically significant difference in conciseness and complexity of code,
  12. Includes a formal solution of one algorithm developed after the experiment by some of the students.
  13. Daniel M Berry & Walter F Tichy wrote following,
    Net
    1. Glad that somebody did some empirical research.
    2. Self selected groups weaken result.
    3. Hawthorne and Novelty also weaken result.
    4. No knowledge of what happened in "control" groups.
    5. Correctness results based on very few test cases.
    6. No discussion of external threats to validity.
    7. Sobel & Clarkson replied following,
      Net
      1. Educational research (teaching formal methods) is not an industrial or lab experiement.

      (End of Net)


    (End of Net)


Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]