Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling.
Weikai MiaoShaoying LiuPublished in: SOFL+MSVL (2013)
Keyphrases
- software tools
- software intensive systems
- software platform
- software engineering
- software package
- analysis tool
- software systems
- software design
- modeling tool
- web services
- modeling language
- software architecture
- software application
- program understanding
- formal model
- service providers
- engineering design
- requirements specification
- user interface
- database
- artificial intelligence
- configuration management
- unified modeling language
- formal methods
- programming tool
- software developers
- service composition
- information services
- user friendly
- software development
- source code
- information systems
- software quality
- development lifecycle
- intelligent software
- computer science
- open source
- service oriented
- software projects
- graphical user interface
- requirements engineering
- service discovery