Formal Methods and Social Context in Software Development.
Joseph A. Goguen LuqiPublished in: TAPSOFT (1995)
Keyphrases
- social context
- formal methods
- software development
- development lifecycle
- software engineering
- contextual information
- virtual world
- artificial intelligence
- social interaction
- model checking
- knowledge based systems
- formal analysis
- case study
- formal specification
- safety critical
- social relations
- software testing
- development process
- social media
- online social networks
- software components
- software systems
- process algebra
- social relationships
- reverse engineering
- software architecture
- real world
- modeling language
- content analysis
- query language
- object oriented