메뉴 건너뛰기
Information and Software Technology
Volumn 43, Issue 12, 2001, Pages 693-704
Specification of integrity-preserving operations in information systems by using a formal UML-based language
Author keywords

Formal language definition; Information system integrity; Information system specification; Information system transactions; UML
Indexed keywords

FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE ENGINEERING;
EID: 0035501377     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(01)00178-1     Document Type: Article
Times cited : (17)
References (32)
  • 6
    • 84931824468 scopus 로고    scopus 로고
    • A rigorous metamodel for UML static conceptual modeling of information systems
    • CAiSE2001: 13th International Conference on Advanced Information Systems Engineering, Interlaken, Switzerland, Springer, Berlin
    • (2001) LNCS FACIT series , vol.2068
    • Polack, F.1    Laleau, R.2
  • 8
    • 0003161365 scopus 로고    scopus 로고
    • Foundations of the Unified Modeling Language
    • Second Northern Formal Methods Workshop, Springer, Berlin
    • (1997) LNCS , vol.1241
    • Clark, T.1    Evans, A.2
  • 11
    • 84949518689 scopus 로고    scopus 로고
    • System development using Z generics
    • FM99: World Congress on Formal Methods, Toulouse, France, Springer, Berlin
    • (1999) LNCS , vol.1708-1709 , pp. 1048-1067
    • Polack, F.1    Stepney, S.2
  • 14
    • 84947815784 scopus 로고
    • The SAZ project: Integrating SSADM and Z
    • FME93: First International Symposium of Formal Methods Europe, Odense, Denmark, Springer, Berlin
    • (1993) LNCS , vol.670 , pp. 541-557
    • Polack, F.1    Whiston, M.2    Mander, K.3
  • 15
    • 84943234093 scopus 로고    scopus 로고
    • Overview of Roz: A tool for integrating UML and Z specifications
    • 12th International Conference on Advanced Information Systems Engineering, Stockholm, Sweden, Springer, Berlin
    • (2000) LNCS , vol.1789
    • Dupuy, S.1    Ledru, Y.2    Chabre-Peccoud, M.3
  • 18
    • 84876296949 scopus 로고
    • On the derivation of executable database programs from formal specifications
    • FME93: First International Symposium of Formal Methods Europe, Odense, Denmark, Springer, Berlin
    • (1993) LNCS , vol.670
    • Günther, T.1    Schewe, K.D.2    Wetzel, I.3
  • 19
    • 84912116086 scopus 로고    scopus 로고
    • Formal development of databases in ASSO and B
    • FM99: World Congress on Formal Methods, Toulouse, France, Springer, Berlin
    • (1999) LNCS , vol.1709 , pp. 388-410
    • Matthews, B.1    Locuratolo, E.2
  • 20
    • 84893485408 scopus 로고    scopus 로고
    • Automatic verification of transactions on an object-oriented database
    • DBPL-6: Sixth Workshop on Database Programming Languages, Colorado, USA, August
    • (1997) LNCS , vol.1369
    • Spelt, D.1    Balsters, H.2
  • 23
    • 0003165105 scopus 로고    scopus 로고
    • Test case preparation using a prototype
    • B98: Second International B Conference, Montpellier, France, Springer, Berlin
    • (1998) LNCS , vol.1393 , pp. 293-312
    • Teharne, H.1    Draper, J.2    Schneider, S.3
  • 24
    • 84937394170 scopus 로고    scopus 로고
    • A generic process to refine a B specification into a relational database implementation
    • ZB: Formal Specification and Development in Z and B, York, UK, Springer, Berlin
    • (2000) LNCS , vol.1878 , pp. 22-41
    • Laleau, R.1    Mammar, A.2
  • 29
    • 84949207890 scopus 로고    scopus 로고
    • Introducing dynamic constraints in B
    • B98: Second International B Conference, Montpellier, France, Springer, Berlin
    • (1998) LNCS , vol.1393 , pp. 83-128
    • Abrial, J.-R.1    Mussat, L.2

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