Publications

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 
B
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
D. Bjørner, Infrastructure Software Systems, , 12/1995. Abstract
D. Bjørner, Prospects for a Viable Software Industry -- Enterprise Models, Design Calculi, and Reusable Modules, , 11/1993. Abstract  Download: report12.pdf (526.62 KB)
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