SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2002, Pages 11-21

PROPEL: An approach supporting property elucidation

(4) Smith, Rachel L a Avrunin, George S a Clarke, Lori A a Osterweil, Leon J a

a Biologically Inspired Neural and Dynamical Systems Laboratory (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; FINITE AUTOMATA; FORMAL LOGIC; NATURAL LANGUAGE PROCESSING SYSTEMS;

DISCIPLINED NATURAL LANGUAGE; MATHEMATICAL FORMALISM; PROPERTY SPECIFICATIONS; SOFTWARE SYSTEM;

SOFTWARE ENGINEERING;

EID: 0036040432 PISSN: 02705257 EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (115)

References (23)

1
- 0031382855
- Processing natural language requirements
- 12th Int. Conference on Automated Software Engineering. 1997. Lake Tahoe, NV , pp. 36-45
- Ambriola, V.¹ Gervasi, V.²

2
- 84963812084
- Object-oriented natural language requirements specification
- ACSC 2000, the 23rd Australasian Computer Science Conference. 2000. Canberra, Australia
- Bryant, B.¹

3
- 0003962322
- MIT Press
- (2000) Model Checking
- Clarke, E.M.¹ Grumberg, O.² Peled, D.A.³

4
- 0029196522
- Using integer programming to verify general safety and liveness properties
- (1995) Formal Methods in System Design , vol.6 , pp. 97-123
- Corbett, J.C.¹ Avrunin, G.S.²

5
- 0033697422
- Bandera: Extracting finite-state models from Java source code
- 22nd Int. Conference on Software Engineering. 2000. Limerick, Ireland , pp. 439-448
- Corbett, J.C.¹ Dwyer, M.B.² Hatcliff, J.³ Laubach', S.⁴ Pasareanu, C.S.⁵ Zheng, R.⁶ Zheng, H.⁷

6
- 84947257209
- A language framework for expressing checkable properties of dynamic software
- SPIN Software Model Checking Workshop. 2000. Stanford, CA , pp. 205-223
- Corbett, J.C.¹ Dwyer, M.B.² Hatcliff, J.³ Robby⁴

7
- 0030393604
- Formal refinement patterns for goal-drive requirements elaboration
- 4th ACM SIGSOFT Symp. on the Foundations of Software Engineering. 1996. San Francisco, CA , pp. 179-190
- Darimont, R.¹ Van Lamsweerde, A.²

8
- 0032667112
- Patterns in property specifications for finite-state verification
- 21st Int. Conference on Software Engineering. 1999. Los Angeles, CA , pp. 411-420
- Dwyer, M.B.¹ Avrunin, G.S.² Corbett, J.C.³

9
- 0031649229
- Property specification patterns for finite-state verification
- 2nd Workshop on Formal Methods in Software Practice. 1998. Clearwater Beach, Florida , pp. 7-15
- Dwyer, M.B.¹ Avrunin, G.S.² Corbett, J.C.³

10
- 58049136693
- Specification patterns web site
- Dwyer, M.B.¹ Avrunin, G.S.² Corbett, J.C.³

11
- 85030211978
- Data flow analysis for verifying properties of concurrent programs
- 2nd ACM SIGSOFT Symp. on the Foundations of Software Engineering. 1994. New Orleans, LA , pp. 62-75
- Dwyer, M.B.¹ Clarke, L.A.²

12
- 0005255422
- FormalCheck. "Web Site"

13
- 84947911308
- Attempto controlled english - Not just another logic specification language
- 8th Int. Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'98). 1998 , pp. 1-20
- Fuchs, N.E.¹ Schwertel, U.² Schwitter, R.³

14
- 0012982539
- Attempto controlled English (ACE)
- CLAW 96, the 1st Int. Workshop on Controlled Language Applications. 1996
- Fuchs, N.E.¹ Schwitter, R.²

15
- 4544221419
- Completeness and consistency in hierarchical state-based requirements
- (1996) IEEE Transactions on Software Engineering , vol.22 , Issue.6 , pp. 363-377
- Heimdahl, M.P.E.¹ Leveson, N.G.²

16
- 0030197750
- Automated consistency checking of requirements specifications
- (1996) ACM Transactions on Software Engineering and Methodology , vol.5 , Issue.3 , pp. 231-261
- Heitmeyer, C.L.¹ Jeffords, R.D.² Labaw, B.G.³

17
- 0003793975
- Software requirements for the A-7E aircraft
- Tech. Rep. 3876. Naval Research Laboratory: Washington, D.C.
- (1978)
- Heninger, K.¹ Parnas, D.L.² Shore, J.³ Kallander, J.⁴

18
- 18944390941
- The model checker SPIN
- (1997) IEEE Transactions on Software Engineering , vol.23 , Issue.5 , pp. 279-294
- Holzmann, G.J.¹

19
- 0028495490
- Requirements specification for process-control systems
- (1994) IEEE Transactions on Software Engineering , vol.20 , Issue.9 , pp. 684-707
- Leveson, N.G.¹ Heimdahl, M.P.E.² Hildreth, H.³ Reese, J.D.⁴

20
- 0030823574
- Analogical reuse of requirements frameworks
- RE '97 - 3rd Int. Conference on Requirements Engineering. 1997
- Massonet, P.¹ Van Lamsweerde, A.²

21
- 0003581143
- Symbolic model checking: An approach to the state explosion problem
- Boston, MA: Kluwer Academic Publishers
- (1993)
- McMillan, K.L.¹

22
- 85069251003
- Natural-language processing support for developing policy-governed software systems
- 39th Int. Conference on Technology for Object-Oriented Languages and Systems. 2001. Santa Barbara, CA, USA
- Michael, J.B.¹ Ong, V.L.² Rowe, N.C.³

23
- 0005258362
- Events in linear-time properties
- 4th Int. Conference on Requirements Engineering. 1999. Limerick, Ireland
- Paun, D.O.¹ Chechik, M.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.