Jump to main content

yr 〜
yr

Search results 13

Domain engineering : technology management,research and engineering : 北陸先端科学技術大学院大学21世紀COEプログラム検証進化可能電子社会 (COE research monograph series ; vol.4)

Domain engineering : technology management,research and engineering : 北陸先端科学技術大学院大学21世紀COEプログラム検証進化可能電子社会 (COE research monograph series ; vol.4)
Paper図書
Dines Bjorner [著]JAIST Press2009.2<M159-B96>
National Diet Library
  • Author HeadingBjørner, Dines

Public government, a domain analysis

Public government, a domain analysis
Paper文書・図像類
Bjorner, Dines北陸先端科学技術大学院大学情報科学研究科2006-12-19Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2006-004p.1-19
Other Libraries in Japan
  • Author HeadingBjorner, Dines

Possible collaborative "domain" projects

Possible collaborative "domain" projects
Paper文書・図像類
Bjorner, Dines北陸先端科学技術大学院大学情報科学研究科2006-12-13Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2006-002p.1-17
Other Libraries in Japan
  • Author HeadingBjorner, Dines

The triptych process model : process assessment and improvement

The triptych process model : process assessment and improvement
Paper文書・図像類
Bjorner, Dines北陸先端科学技術大学院大学情報科学研究科2007-01-16Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2007-001p.1-30
Other Libraries in Japan
  • Author HeadingBjorner, Dines

Verified software for ubiquitous computing : a proposed VSTTE/ubiquitous computing foothill project

Verified software for ubiquitous computing : a proposed VSTTE/ubiquitous computing foothill project
Paper文書・図像類
Bjorner, Dines北陸先端科学技術大学院大学情報科学研究科2006-12-15Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2006-003p.1-38
Other Libraries in Japan
  • Author HeadingBjorner, Dines

On domains and domain engineering : prerequisites for trustworthy software, a necessity for believable project management

On domains and domain engineering : prerequisites for trustworthy software, a necessity for believable project management
Paper文書・図像類
Bjorner, Dines北陸先端科学技術大学院大学情報科学研究科2006-11-24Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2006-001p.1-18
Other Libraries in Japan
  • Author HeadingBjorner, Dines

Documents : a domain analysis, an experiment in domain engineering

Documents : a domain analysis, an experiment in domain engineering
Paper文書・図像類
Bjorner, Dines北陸先端科学技術大学院大学情報科学研究科2006-12-19Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2006-005p.1-23
Other Libraries in Japan
  • Author HeadingBjorner, Dines

MITS : models of IT security : security rules & regulations : an interpretation

MITS : models of IT security : security rules & regulations : an interpretation
Paper文書・図像類
Bjorner, Dines北陸先端科学技術大学院大学情報科学研究科2007-01-29Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2007-004p.1-56
Other Libraries in Japan
  • Author HeadingBjorner, Dines

The role of domain engineering in software development

The role of domain engineering in software development
Paper文書・図像類
Bjorner, Dines北陸先端科学技術大学院大学情報科学研究科2007-01-16Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2007-002p.1-8
Other Libraries in Japan
  • Author HeadingBjorner, Dines

Domain engineering

Domain engineering
Paper文書・図像類
Bjorner, Dines北陸先端科学技術大学院大学情報科学研究科2007-01-16Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2007-003p.1-36
Other Libraries in Japan
  • Author HeadingBjorner, Dines

Domains and problem frames : an experiment in triptych software development

Domains and problem frames : an experiment in triptych software development
Paper文書・図像類
Bjorner, Dines北陸先端科学技術大学院大学情報科学研究科2006-12-27Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2006-006p.1-35
Other Libraries in Japan
  • Author HeadingBjorner, Dines

A Family of License Languages

A Family of License Languages
Paper文書・図像類
Arimoto, Yasuhito, Bjorner, Dines, Chen, Xiaoyi, Xiang, Jianwen北陸先端科学技術大学院大学情報科学研究科2007-04-23Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2007-006p.1-31
Other Libraries in Japan
  • Author HeadingArimoto, Yasuhito Bjorner, Dines Chen, Xiaoyi Xiang, Jianwen

International Conference on Fifth Generation Computer Systems 1992 : June 1-5, 1992, Tokyo Prince Hotel, Tokyo, Japan

International Conference on Fifth Generation Computer Systems 1992 : June 1-5, 1992, Tokyo Prince Hotel, Tokyo, Japan
Paper図書
Institute for New Generation Computer Technologyc1992<M15-A8454>
National Diet Library
  • Author HeadingBjørner, Dines Nilsson, Jørgen Fischer 新世代コン...

Reached to the end of result.

RSS