A formalism for specification of Java API interfaces.
Davide AnconaFrancesco DagninoLuca FranceschiniPublished in: ISSTA/ECOOP Workshops (2018)
Keyphrases
- source code
- high level
- open source
- cross platform
- transition systems
- formal language
- programming language
- action language
- code examples
- application programming interface
- operational semantics
- portlet development
- java database connectivity
- java language
- specification language
- conceptual graphs
- java programs
- conceptual model
- knowledge representation
- interface design
- development environment
- formal model
- database applications
- user interface
- formal specification
- software systems
- web applications
- database