SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1755, Issue , 2000, Pages 155-179

Formal modelling of services for getting a better understanding of the feature interaction problem: A multi-view approach

(2) Gibson, Paul a Méry, Dominique b

a NATIONAL UNIVERSITY OF IRELAND (Ireland)

b LORIA (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

ACT ONE; FEATURE INTERACTIONS; FORMAL MODELLING; FRANCE TELECOM; JOINT PROJECTS; MULTI-VIEW MODELING; MULTI-VIEWS; TELEPHONE SERVICES;

ARTIFICIAL INTELLIGENCE;

EID: 84943256243 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/3-540-46562-6_14 Document Type: Conference Paper

Times cited : (5)

References (45)

1
- 0003709343
- Cambridge University Press
- (1996) The B Book-Assigning Programs to Meanings
- Abrial, J.-R.¹

2
- 0344003027
- Formalisation of requirements with emphasis on feature interaction detection
- Montreal, Canada, June, IOS Press
- (1997) Feature Interactions in Telecommunications IV
- Blom, J.¹

3
- 0006822153
- Automatic detection of feature interactions in temporal logic
- In K. E. Cheng and T. Ohta, editors, IOS Press, [9]
- (1996) Feature Interactions in Telecommunications Systems , pp. 1-19
- Blom, J.¹ Johnsson, B.² Kempe, L.³

4
- 0003081057
- Using temporal logic for modular specification of telephone services
- In L. G. Bouma and H. Velthuijsen, editors, IOS Press
- (1994) Feature Interactions in Telecommunications Systems , pp. 197-216
- Blom, J.¹ Jonsson, B.² Kempe, L.³

5
- 0003434834
- Benjamin Cummings
- (1991) Object Oriented Design with Applications
- Booch, G.¹

6
- 0003977176
- editors, IOS Press
- (1994) Feature Interactions in Telecommuni-Cations Systems
- Bouma, L.G.¹ Velthuijsen, H.²

7
- 0343566773
- Specifying telephone systems in LOTOS
- (1993) IEEE Communications Magazine , vol.31 , Issue.8 , pp. 38-45
- Boumezbeur, R.¹ Logrippo, L.²

8
- 0000217455
- LOTOS specifications, their implementation and their tests
- Montreal, June
- Sixth International Symposium on Pro-Tocol Testing, Specification and Verification , pp. 1986
- Brinksma, E.D.¹ Scollo, G.² Steenbergen, C.³

9
- 0003934476
- editors, IOS Press
- (1996) Feature Interactions in Telecommunications Systems
- Cheng, K.E.¹ Ohta, T.²

10
- 0003696283
- Prentice-Hall (Yourdon Press)
- (1990) Object Oriented Design
- Coad, P.¹ Yourdon, E.²

11
- 0344003047
- Formalisation of a user view of network and services for feature interaction detection
- In L. G. Bouma and H. Velthuijsen, editors, IOS Press, [6]
- (1994) Feature Interactions in Telecommunications Software System , pp. 120-135
- Combes, P.¹ Pickin, S.²

12
- 84943331375
- Beyond the madness of methods: System structure methods and converging design
- Miller-Freeman
- (1989) Software Development 1989
- Constantine, L.¹

13
- 0003563670
- Nistgcr 93/626, U. S. Department of Commerce, Technology Administration, National Institute of Standards and Technology, Computer Systems Lab., Gaithersburg, MD20899
- (1993) An International Survey of Industrial Applications of Formal Methods
- Craigen, D.¹ Gerhart, S.² Ralston, T.³

14
- 0003947691
- Blackwell Scientific Publishers
- (1991) Structured System Analysis and Design Method
- Cutts, G.¹

15
- 0004070105
- editors, Montreal, IOS Press
- (1997) Feature Interactions in Telecom-Munications Newtworks IV
- Dini, P.¹ Boutaba, R.² Logrippo, L.³

16
- 0004006994
- Springer-Verlag, Berlin, 1985. EATCS Monographs on Theoretical Computer Science (6)
- Fundamentals of Algebraic Specification I
- Ehrig, H.¹ Mahr, B.²

17
- 0006825151
- Specifying features and analysing their interactions in a lotos environment
- In L. G. Bouma and H. Velthuijsen, editors, IOS Press, [6]
- (1994) Feature Interactions in Telecommunications Software System , pp. 136-151
- Faci, M.¹ Logrippo, L.²

18
- 0026123203
- Formal specification of telephone systems in lotos: Constraint-oriented style approach
- (1991) Computer Networks and ISDN Systems , vol.21 , pp. 53-67
- Faci, M.¹ Logrippo, L.² Stepien, B.³

19
- 0348022685
- Interaction detection, a logical approach
- In L. G. Bouma and H. Velthuijsen, editors, IOS Press
- (1994) Feature Interactions in Telecommu-Nications Systems , pp. 178-196
- Gammelgaard, A.¹ Kristensen, J.E.²

20
- 33745206580
- Tech. report CSM-114, Stirling University, August
- (1993) Formal Object Oriented Development of Software Systems Using LOTOS
- Gibson, J.-P.¹

21
- 84943331377
- Tr-113, University of Stirling, Computing Science Department, Stirling, Scotland
- (1994) Formal Object Based Design in LOTOS
- Gibson, J.-P.¹

22
- 18744382017
- Feature Requirements Models: Understanding Interactions
- Montreal, Canada, Feature Interaction Workshop. IOS Press
- (1997) Fea-Ture Interaction Workshop 1997
- Gibson, J.-P.¹

23
- 84950158763
- Feature interactions: A mixed semantic model approach
- In Gerard O'Regan and Sharon Flynn, editors, Dublin, Ireland, July 1997. Irish Formal Methods Special Interest Group (IFMSIG), Springer Verlag
- 1St Irish Workshop on Formal Methods
- Gibson, J.-P.¹ Mermet, B.² Mffery, D.³

24
- 84943331380
- Rapport de fin du lot1 du marchffe no96 1B CNET-CNRS-CRIN, Centre de Recherche en Informatique de Nancy, dffecembre
- (1996) Spffecification De Services Dans Une Logique Temporelle Compositionnelle
- Gibson, J.-P.¹ Mermet, B.² Mffery, D.³ Mokhtari, Y.⁴

25
- 84943331381
- In Max Mühlhäuser, editor, Special Issues in Object-Oriented Pro-gramming. Dpunkt
- (1997) A Unifying Framework for Multi-Semantic Software Development
- Gibson, J.-P.¹ Méry, D.²

26
- 0003843704
- Prentice-Hall International
- (1985) Communicating Sequential Processes
- Hoare, C.¹

27
- 84943331382
- IEE. Special Collection On Requirements Analysis. IEE Transactions on Software Engineering
- (1977)

28
- 84943331383
- ISO. LOTOS-a formal description technique based on the temporal ordering of observed behaviour. Technical report, International Organisation for Standardisation IS 8807
- (1988)

29
- 33750711279
- Feature interaction detection using sdl models
- IEEE
- (1994) GLOBECOM. Communications: The Global Bridge. Conference Record , pp. 1857-1861
- Kelly, B.¹ Crowther, M.² King, J.³

30
- 0344003045
- Service validation and testing
- In K. E. Cheng and T. Ohta, editors, IOS Press, [9]
- (1996) Feature Interactions in Telecommunications Systems , pp. 173-184
- Kelly, B.¹ Crowther, M.² King, J.³ Masson, R.⁴ Delapeyre, J.⁵

31
- 0028424892
- A temporal logic of actions
- (1994) Transactions on Programming Lan-Guages and Systems , vol.16 , Issue.3 , pp. 872-923
- Lamport, L.¹

32
- 84976670850
- Programming with abstract data types
- (1974) ACM SIGPLAN Notices , vol.9 , pp. 50-59
- Liskov, B.¹ Zilles, S.²

33
- 0031343394
- Incremental specification of telecommunication services
- In M. Hinchey, editor, Hiroshima, IEEE
- (1997) First IEEE International Conference on Formal Engineer-Ing Methods (ICFEM)
- Mermet, B.¹ Mffery, D.²

34
- 84937497571
- Safe combinations of services using b
- In John Mc-Dermid, editor, York, Springer Verlag
- (1997) SAFECOMP97 the 16Th International Conference on Computer Safety, Reliability and Security
- Mermet, B.¹ Mffery, D.²

35
- 84943331385
- Requirements for a temporal B: Assigning Temporal Meaning to Abstract Machines… and to Abstract Systems
- In A. Galloway and K. Taguchi, editors, Workshop In Computing Science, YORK
- (1999) IFM'99 Integrated Formal Methods 1999
- Mffery, D.¹

36
- 0006786246
- Technical report PU-94-356, KPN Research, Network and Service Control department
- (1994) A Simple Language for Expressing Properties of Telecommunications Services and Features
- Middleburg, C.A.¹

37
- 0003630836
- Springer-Verlag
- (1980) A Calculus of Communicating Systems
- Milner, R.¹

38
- 0017428556
- Structured analysis (SA): A language for communicating ideas
- (1977) IEE Transactions on Software Engineering. IEE
- Ross, D.T.¹

39
- 84943331387
- Steria Mffediterrannffee. Atelier B, Version 3. 2, Manuel de Rffeffference du Langage B. GEC Alsthom Transport and Steria Mffediterrannffee and SNCF and INRETS and RATP
- (1997)

40
- 0003955512
- John Wiley, New York
- (1993) Using Formal Description Techniques-An Introduction to ESTELLE, LOTOS and SDL
- Turner, K.J.¹

41
- 84943331388
- University of Stirling SPLICE Internal Technical Document
- (1992) Specification Using LOTOS for an Interactive Customer Environment-Phase 1
- Turner, K.J.¹ Splice, I.²

42
- 84943251081
- John Wiley and Sons
- (1993) Using FDTS: An Introduction to ESTELLE, LOTOS and SDL
- Turner, K.¹

43
- 78049363220
- Computer, August
- (1993) Feature Interactions and Formal Specifications in Telecommunications
- Zave, P.¹

44
- 0021371582
- The operational versus the conventional approach to software development
- (1984) Comm. ACM , vol.27 , pp. 104-118
- Zave, P.¹

45
- 84943331389
- Feature interactions and formal specifications in telecommunications
- (1993) IEEE Computer Magazine , pp. 18-23
- Zave, P.¹

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