-
4
-
-
0033697422
-
Bandera: Extracting finite-state models from Java source code
-
Limerick, Ireland
-
J. Corbett, M. Dwyer, J. Hatcliff, S. Laubach, C. Pasarenu, Robby, and H. Zheng. Bandera: Extracting finite-state models from java source code. In Proceedings ICSE2000, Limerick, Ireland, pages 43948, 2000.
-
(2000)
Proceedings ICSE2000
, pp. 43948
-
-
Corbett, J.1
Dwyer, M.2
Hatcliff, J.3
Laubach, S.4
Pasarenu, C.5
Robby6
Zheng, H.7
-
6
-
-
34147120474
-
A note on two problems in connexion with graphs
-
E.W. Dijkstra. A note on two problems in connexion with graphs. NumerischeMathematik, 1:269-271, 1959.
-
(1959)
NumerischeMathematik
, vol.1
, pp. 269-271
-
-
Dijkstra, E.W.1
-
9
-
-
0011857695
-
Towards hypothesis testing: Justin, prototype system using justification in context
-
B. Feldman, P. Compton, and G. Smythe. Towards Hypothesis Testing: JUSTIN, Prototype System Using Justification in Context. In Proceedings of theJointAustralian Conferenceon Artificial Intelligence.AI '89, pages 319-331, 1989.
-
(1989)
Proceedings of theJointAustralian Conferenceon Artificial Intelligence.AI '89
, pp. 319-331
-
-
Feldman, B.1
Compton, P.2
Smythe, G.3
-
10
-
-
33749328617
-
On the costs and benefits of using partial-order methods for the verificiation of concurrent systems (invited papers)
-
July 24-26, 1996
-
P. Godefroid. On the costs and benefits of using partial-order methods for the verificiation of concurrent systems (invited papers). In The I996 DIMACS workshopon Partial OrderMethods in Verijcaition, July 24-26, 1996, pages 289-303, 1997.
-
(1997)
The I996 DIMACS Workshopon Partial OrderMethods in Verijcaition
, pp. 289-303
-
-
Godefroid, P.1
-
12
-
-
18744404974
-
Using global properties for qualitative reasoning: A qualitative system theory
-
Y. Ishida. Using global properties for qualitative reasoning: A qualitative system theory. In ProceedingsofIJCAI '89, pages 1174-1179.. 1989.
-
(1989)
ProceedingsofIJCAI '89
, pp. 1174-1179
-
-
Ishida, Y.1
-
13
-
-
0003239964
-
Questions, options and criteria: Elements of design space analysis
-
T. Moran and J. Carroll, editors, Lawerence Erlbaum Associates
-
A. MacLean, R. Young, V. Bellotti, and T. Moran. Questions, options and criteria: Elements of design space analysis. In T. Moran and J. Carroll, editors, Design Rationale: Concepts, Techniques, and Use, pages 53-1 06. Lawerence Erlbaum Associates, 1996.
-
(1996)
Design Rationale: Concepts, Techniques, and Use
, pp. 53-106
-
-
MacLean, A.1
Young, R.2
Bellotti, V.3
Moran, T.4
-
15
-
-
0030247429
-
Applications of abduction: Knowledge level modeling
-
T. Menzies. Applications of abduction: Knowledge level modeling. International Journal of Human Computer Studies, 45:305-355, 1996. Available from http://tim. menzies.com/pdf/96abkl.pdf.
-
(1996)
International Journal of Human Computer Studies
, vol.45
, pp. 305-355
-
-
Menzies, T.1
-
16
-
-
0041467946
-
On the practicality of abductive validation
-
T. Menzies. On the practicality of abductive validation. In ECAI '96, 1996. Available from http:/tim.menzies. com/pdf/96ok.pdf.
-
(1996)
ECAI '96
-
-
Menzies, T.1
-
18
-
-
85116886488
-
RapturelSP2: Efficient testing of temporal properties without search space explosion, 1999
-
T. Menzies, M. Houle, and J. Powell. Rapturelsp2: Efficient testing of temporal properties without search space explosion, 1999. NASA IV&V Facility Technical Report.
-
NASA IV&V Facility Technical Report
-
-
Menzies, T.1
Houle, M.2
Powell, J.3
-
19
-
-
0010920417
-
From object-oriented to goal-oriented requirements analysis
-
January
-
J. Mylopoulos, L. Cheng, and E. Yu. From object-oriented to goal-oriented requirements analysis. Communications of the ACM, 42(1):31-37, January 1999.
-
(1999)
Communications of the ACM
, vol.42
, Issue.1
, pp. 31-37
-
-
Mylopoulos, J.1
Cheng, L.2
Yu, E.3
-
21
-
-
0018504302
-
Software failure modes and effects analysis
-
D.Reifer. Software failure modes and effects analysis. IEEE Transactionson Reliability, pages 247-249, 1979.
-
(1979)
IEEE Transactionson Reliability
, pp. 247-249
-
-
Reifer, D.1
-
22
-
-
0031649843
-
Validatingrequirements for fault tolerant systems using model checking
-
F. Schneider, S. Easterbrook, J. Callahan, G. Holzmann, W. Reinholtz, A. KO, and M. Shahabuddin. Validatingrequirements for fault tolerant systems using model checking. In 3rd IEEEInternationalConferenceOnRequirementsEngineering, 1998.
-
(1998)
3rd IEEEInternationalConferenceOnRequirementsEngineering
-
-
Schneider, F.1
Easterbrook, S.2
Callahan, J.3
Holzmann, G.4
Reinholtz, W.5
Ko, A.6
Shahabuddin, M.7
-
24
-
-
0343885352
-
Hypothalamic noradrenergic activation of stress-induced adrenocorticotropin (ACTH) release: Effects of acute and chronic dexamethasone pre-treatment in the rat
-
6
-
G. Smythe. Hypothalamic noradrenergic activation of stress-induced adrenocorticotropin (ACTH) release: Effects of acute and chronic dexamethasone pre-treatment in the rat. Exp. Clin. Endocrinol. (LifeSci. Adv.), pages 141-144, 6 1987.
-
(1987)
Exp. Clin. Endocrinol. (LifeSci. Adv.)
, pp. 141-144
-
-
Smythe, G.1
-
25
-
-
0032296216
-
Inferring declarative requirements specifications from operational scenarios
-
Special on Scenario Management, November
-
A. van Lamsweerde and L. Willemet. Inferring declarative requirements specifications from operational scenarios. IEEE Transactionson Software Engineering. Special Issue on Scenario Management, November 1998.
-
(1998)
IEEE Transactionson Software Engineering
-
-
van Lamsweerde, A.1
Willemet, L.2
|