|
|
JAIST Repository >
著者: "Bjorner, Dines"
11 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 24-Nov-2006 | On domains and domain engineering : prerequisites for trustworthy software, a necessity for believable project management | Bjorner, Dines |
| 13-Dec-2006 | Possible collaborative "domain" projects | Bjorner, Dines |
| 15-Dec-2006 | Verified software for ubiquitous computing : a proposed VSTTE/ubiquitous computing foothill project | Bjorner, Dines |
| 19-Dec-2006 | Public government, a domain analysis | Bjorner, Dines |
| 19-Dec-2006 | Documents : a domain analysis, an experiment in domain engineering | Bjorner, Dines |
| 27-Dec-2006 | Domains and problem frames : an experiment in triptych software development | Bjorner, Dines |
| 16-Jan-2007 | The triptych process model : process assessment and improvement | Bjorner, Dines |
| 16-Jan-2007 | Domain engineering | Bjorner, Dines |
| 16-Jan-2007 | The role of domain engineering in software development | Bjorner, Dines |
| 29-Jan-2007 | MITS : models of IT security : security rules & regulations : an interpretation | Bjorner, Dines |
| 23-Apr-2007 | A Family of License Languages | Arimoto, Yasuhito; Bjorner, Dines; Chen, Xiaoyi; Xiang, Jianwen |
|
