Verified software for ubiquitous computing : a proposed VSTTE/ubiquitous computing foothill project
スポンサーリンク
概要
- 論文の詳細を見る
- 北陸先端科学技術大学院大学の論文
- 2006-12-15
著者
関連論文
- Documents : a domain analysis, an experiment in domain engineering
- On domains and domain engineering : prerequisites for trustworthy software, a necessity for believable project management
- Domain engineering
- Public government, a domain analysis
- Domains and problem frames : an experiment in triptych software development
- MITS : models of IT security : security rules & regulations : an interpretation
- The role of domain engineering in software development
- The triptych process model : process assessment and improvement
- Verified software for ubiquitous computing : a proposed VSTTE/ubiquitous computing foothill project
- Possible collaborative "domain" projects