Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud.
Shigeru KusakabeYoichi OmoriKeijiro ArakiPublished in: ICSOFT (1) (2009)
Keyphrases
- lightweight
- formal methods
- functional programming
- cloud computing
- functional language
- programming language
- execution model
- object oriented programming
- knowledge based systems
- model checking
- formal specification
- software engineering
- artificial intelligence
- information systems
- object oriented
- development lifecycle
- modeling language
- integrity constraints
- data management
- database
- formal specification language