Login / Signup
Specification and Design of Transactions in Information Systems: A Formal Approach.
Gilbert Babin
François Lustman
Peretz Shoval
Published in:
IEEE Trans. Software Eng. (1991)
Keyphrases
</>
information systems
formal methods
case study
specification languages
user interface
formal specification
design process
engineering design
databases
design decisions
information technology
conceptual model
health care
electronic commerce
modeling language
data mining
requirements analysis
database