SCOPUS 정보 검색 플랫폼

Volumn 9, Issue 3, 2002, Pages 233-261

Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design

(1) Hall, Robert J a

a AT AND T LABS RESEARCH (United States)

Author keywords

Electronic mail; Formal methods; Reactive systems

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION LANGUAGES; ELECTRONIC MAIL; FINITE AUTOMATA; FORMAL LANGUAGES; INTELLIGENT AGENTS; PROGRAM DEBUGGING; PROGRAM DIAGNOSTICS; REQUIREMENTS ENGINEERING; THEOREM PROVING;

ELECTRONIC MAIL AGENT CONTROLLERS SPECIFICATION; ELECTRONIC MAIL AGENT CONTROLLERS SYNTHESIS; ELECTRONIC MAIL AGENT CONTROLLERS VALIDATION; FORMAL METHODS; FUNCTION RICH REACTIVE SYSTEM DESIGN;

SOFTWARE ENGINEERING;

EID: 0036685618 PISSN: 09288910 EISSN: None Source Type: Journal
DOI: 10.1023/A:1016372507161 Document Type: Article

Times cited : (13)

References (30)

1
- 84957073072
- Verification of infinite-state systems by combining abstraction and reachability analysis
- Berlin: Springer Verlag
- (1999) Proc. 11th Intl. Conf. on Computer Aided Verification, LNCS (1633) , pp. 146-159
- Abdulla, P.¹ Annichini, A.² Bensalem, S.³ Bouajjani, A.⁴ Habermehl, P.⁵ Lakhnech, Y.⁶

2
- 0029714158
- Reactive modules
- (1996) Proc. 11th IEEE Symposium on Logic in Computer Science , pp. 207-218
- Alur, R.¹ Henzinger, T.²

3
- 0030615525
- Model checking of real-time systems: A telecommunications application
- New York: ACM Press
- (1997) Proc. 19th Intl. Conf. Software Eng. , pp. 514-524
- Alur, R.¹ Jagadeesan, L.² Kott, J.³ Von Olnhausen, J.⁴

4
- 84983014000
- Planware-domain-specific synthesis of high performance schedulers
- Silver Spring, MD: IEEE Comp. Soc.
- (1998) Proc. 13th IEEE Intl. Conf. on Automated Software Engineering , pp. 270-279
- Blaine, L.¹ Gilham, L.² Liu, J.³ Smith, D.⁴ Westfold, S.⁵

5
- 85016896911
- Verifying systems with integer constraints and boolean predicates: A composite approach
- (1998) Proc. 1998 Intl. Symp. Software Testing and Analysis, ACM SIGSOFT SEN , vol.23 , Issue.2 , pp. 113-123
- Bultan, T.¹ Gerber, R.² League, C.³

6
- 35048900689
- 20 states and beyond
- (1992) Info. and Comput. , vol.98 , pp. 142-170
- Burch, J.R.¹ Clarke, E.M.² McMillan, K.L.³ Dill, D.L.⁴ Hwang, L.J.⁵

7
- 0003426612
- Sebastopol. CA: O'Reilly and Assoc.
- (1993) Sendmail
- Costales, B.¹ Allman, E.² Rickert, N.³

8
- 84881303808
- Model checking without a model: An analysis of the heart-beat monitor of a telephone switch using verisoft
- New York: ACM Press
- (1998) Proc. 1998 Intl. Symp. on Software Testing and Analysis, ACM SIGSOFT SEN , vol.23 , Issue.2 , pp. 124-133
- Godefroid, P.¹ Hanmer, R.² Jagadeesan, L.³

9
- 84947441305
- Construction of abstract state graphs with PVS
- Berlin: Springer Verlag
- (1997) Proc. Conf. on Computer Aided Verification, LNCS 1254
- Graf, S.¹ Saidi, H.²

10
- 0000482124
- Systematic incremental validation of reactive systems via sound scenario generalization
- (1995) J. Automated Software Eng. , vol.2 , Issue.2 , pp. 131-166
- Hall, R.J.¹

11
- 0030408416
- INFOMOD: A knowledge-based moderator for electronic mail help lists
- New York: ACM Press
- (1996) Proc. Fifth Intl. Conf. on Information and Knowledge Management , pp. 107-114
- Hall, R.J.¹

12
- 0031355480
- Reactive system validation using automated reasoning over a fragment library
- Silver Spring, MD: IEEE Comp. Soc.
- (1997) Proc. 1997 IEEE Automated Software Engineering Conf. (ASE'97)
- Hall, R.J.¹

13
- 0032010240
- How to avoid unwanted email
- (1998) Comm. ACM , vol.41 , Issue.3 , pp. 88-95
- Hall, R.J.¹

14
- 18744376096
- Feature combination and interaction detection via foreground/background models
- IOS Press
- (1998) Proc. Fifth Intl. Workshop on Feature Interactions in Telecommunications and Software Systems
- Hall, R.J.¹

15
- 4243297829
- Email channels help web site
- (1999)
- Hall, R.J.¹

16
- 0010021967
- Upgrading legacy instances of reactive systems
- Silver Spring, MD: IEEE Computer Society Press
- (2000) Proc. Fifteenth IEEE Intl. Conf. on Automated Software Engineering , pp. 63-72
- Hall, R.J.¹

17
- 0023365727
- Statecharts: A visual approach to complex systems
- (1987) Sci. of Computer Programming , vol.8 , Issue.3 , pp. 231-274
- Harel, D.¹

18
- 4544221419
- Completeness and consistency analysis of state-based requirements
- (1996) IEEE Transactions on Software Engineering , vol.22 , Issue.6 , pp. 363-377
- Heimdahl, M.¹ Leveson, N.²

19
- 0030197750
- Automated consistency checking of requirements specification
- (1996) ACM Trans. Software Eng. and Methodology , vol.5 , Issue.3 , pp. 231-261
- Heitmeyer, C.L.¹ Jeffords, R.D.² Labaw, B.G.³

20
- 0003406298
- Englewood Cliffs, NJ: Prentice Hall
- (1991) Design and Validation of Computer Protocols
- Holzmann, G.J.¹

21
- 0034593036
- Finding bugs with a constraint solver
- New York: ACM
- (2000) Proc. 2000 Intl. Symp. on Software Testing and Analysis , pp. 14-25
- Jackson, D.¹ Vaziri, M.²

22
- 0010053706
- Towards a theory for integration of mathematical verification and empirical testing
- MD: IEEE Computer Society
- (1998) Proc. 13th IEEE Intl. Automated Software Engineering Conf. Silver Spring , pp. 322-331
- Lowry, M.¹ Boyd, M.² Kulkarni, D.³

23
- 22044441679
- Structural symmetry and model checking
- Berlin: Springer Verlag
- (1998) Proc. 10th Intl. Conf. on Computer Aided Verification, LNCS(1427) , pp. 159-171
- Manku, G.¹ Hojati, R.² Brayton, R.³

24
- 0003704494
- Post office protocol-version 3
- Network Working Group Request for Comments 1725 (RFC 1725, Nov. 1994)
- Myers, J.¹ Rose, M.²

25
- 0000513083
- Petri-net based detection method for non-deterministic feature interactions and its experimental evaluation
- IOS Press
- (1996) Feature Interactions in Telecommunications IV , pp. 138-152
- Nakamura, M.¹ Kakuda, Y.² Kikuno, T.³

26
- 0026880608
- Seven layers of knowledge representation and reasoning in support of software development
- (1992) IEEE Trans. on Software Eng. , vol.18 , Issue.6 , pp. 451-469
- Rich, C.¹ Feldman, Y.²

27
- 84948161750
- Integrated formal verification: Using model checking with automated abstraction, invariant generation, and theorem proving
- (1999) Proc. Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops. Springer Verlag Lecture Notes in Computer Science , vol.1680 , pp. 1-11
- Rushby, J.¹

28
- 0040342207
- Specware: Formal support for composing software
- (1995) Proc. Conf. on Mathematics of Program Construction, Kloster Irsee, Germany
- Srinivas, Y.¹ Jullig, R.²

29
- 0009981576
- Industrial applications of software synthesis via category theory
- Silver Spring, MD: IEEE Computer Society
- (1999) Proc. 14th IEEE Intl. Conf. on Automated Software Engineering , pp. 35-43
- Williamson, K.¹ Healy, M.²

30
- 84863906620
- Verifying systems with infinite but regular state spaces
- Berlin: Springer Verlag
- Proc. 10th Intl. Conf. on Computer Aided Verification, LNCS(1427) , pp. 88-97
- Wolper, P.¹ Boigelot, B.²

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