Filters: Author is Dines Bjørner  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D. Bjørner, S. Koussoubé, and R. Noussi, Jackson's Problem Frames: Syntax, Semantics and Pragmatics; Domains, Requirements and Design, , 04/1997. Abstract  Download: report102.pdf (513.45 KB)
D. Bjørner, Software Systems Engineering -- From Domain Analysis to Requirements Capture [-- an Air Traffic Control Example, , 11/1995. Abstract
D. Bjørner, Issues and Techniques in Rigorous Development of Software, Technology Transfer and Education -- Selected 1992, , 03/1993. Abstract
D. Bjørner, C. George, and S. Prehn, Domain Analysis -- a Prerequisite for Requirements Capture, , 02/1995. Abstract  Download: report37.pdf (870.79 KB)
D. Bjørner, New Software Development, , 01/1996. Abstract
D. Bjørner, C. George, and S. Prehn, Scheduling and Rescheduling of Trains, , 12/1995. Abstract  Download: report52.pdf (315.24 KB)
D. Bjørner, UNU-IIST Programme, , 02/1993. Abstract
D. Bjørner, Models of Enterprise Management: Strategy, Tactics & Operations -- Case Study Applied to Airlines and Manufacturing, , 01/1996. Abstract
D. Bjørner, 1995 Annual Report, , 01/1996. Abstract
D. Bjørner, LSD: Logical Systems Development, , 08/1996. Abstract
D. Bjørner, Software Support for Infrastructure Systems, , 11/1995. Abstract
D. Bjørner, 1992 Annual Report, , 01/1993. Abstract