See this document in CiteSeerX!

Software Engineering Education: Roles of Formal Specification and Design Calculi (1998)  (Make Corrections)  
Dines Bjørner, Jorge R. Cuéllar



  Home/Search   Context   Related

 
View or download:
it.dtu.dk/~db/ase2/newannals.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  nwi2.lub.lu.se/ae...124801124850 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper analyses current principles of software development: from domains via requirements to design. On the basis of this analysis we outline a structure and contents of professional software engineering. From this we extract some requirements to a university graduate (MSc.) curriculum in software engineering. We summarise the four software engineering axes that we wish to emphasize in this paper: ffl software engineering as a responsible profession, ffl abstraction, linguistics and... (Update)

Active bibliography (related documents):   More   All
1.3:   Challenges in Domain Modelling Algebraic or Otherwise - Bjørner (1998)   (Correct)
0.6:   The VDM Bibliography - Larsen (1996)   (Correct)
0.6:   Software Development Using VDM - Pedersen (1989)   (Correct)

Similar documents based on text:   More   All
0.1:   Scheduling and Rescheduling of Trains - Bjørner, George, Prehn (1995)   (Correct)
0.1:   The FME Rail Annotated Rail Bibliography - Bjørner (1998)   (Correct)
0.1:   A Railway System - Coordination '97: Case Study.. - Bjørner, George.. (1996)   (Correct)

BibTeX entry:   (Update)

@misc{ rner-software,
  author = "Dines Bjørner and Jorge R. Cuéllar",
  title = "Software Engineering Education: Roles of Formal Specification and Design
    Calculi",
  url = "citeseer.ist.psu.edu/426960.html" }
Citations (may not include all citations):
2732   Communicating Sequential Processes (context) - Hoare - 1985
1838   Foundation of Logic Programming (context) - Lloyd - 1984
906   A Structural Approach to Operational Semantics - Plotkin - 1981
737   The Java Programming Language (context) - Arnold, Gosily - 1996
718   Distributed Algorithms (context) - Lynch - 1996
689   Systematic Software Development using VDM - Jones - 1990
652   A Discipline of Programming (context) - Dijkstra - 1976
650   The Axiomatic Basis of Computer Programming (context) - Hoare - 1969
625   ACM Transactions on Programming Languages and Systems (context) - Lamport, Logic - 1994
476   Programming Language (context) - Kernighan, Ritchie - 1989
441   Software Engineering Economics (context) - Boehm - 1981
434   An Introduction to Database Systems (context) - Date - 1981
374   Automata on Infinite Objects (context) - Thomas - 1990
346   Denotational Semantics: The Scott-Strachey Approach to Progr.. (context) - Stoy - 1977
334   A Computational Logic Handbook (context) - Boyer, Moore - 1997
299   Algebraic Theory of Processes (context) - Hennessy - 1988
295   PVS: Prototype Verification System (context) - Owre, Rushby et al. - 1995
291   Software Architecture in Practice (context) - Bass, Clements et al. - 1997
281   Information Processing Letters (context) - Chaochen, Hoare et al. - 1991
275   The Science of Programming (context) - Gries - 1981
268   Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning et al. - 1993
258   Miranda: A Non-strict Functional Language with Polymorphic T.. (context) - Turner - 1985
232   Category Theory for Computing Science (context) - Barr, Wells - 1990
227   Formal Methods: State of the Art and Future Directions - Clarke, Wing - 1996
221   Denotational Semantics: a Methodology for Language Developme.. (context) - Schmidt - 1986
213   An introduction to software architecture (context) - Garlan, Shaw - 1993
194   The Formal Semantics of Programming Languages (context) - Winskel - 1993
193   Specification and Analysis of System Architecture using Rapi.. - Luckham, Kenney et al. - 1995
119   Algebraic Specification (context) - Bergstra, Heering et al. - 1989
119   The RAISE Language Group. The RAISE Specification Language (context) - Language, RAISE et al. - 1995
113   International Series in Computer Science (context) - Spivey, Notation et al. - 1989
91   Refinement Calculus: A Systematic Introduction (context) - Back, von Wright - 1998
82   Applying Design by Contract (context) - Meyer - 1992
76   Four dark corners of requirements engineering - Zave, Jackson - 1997
76   Software --- Practice and Experience (context) - Wirth, Language - 1988
76   Software --- Practice and Experience (context) - Wirth, to - 1988
66   How to Solve It (context) - Polya - 1957
66   Haskell: The Craft of Functional Programming (context) - Thompson - 1996
66   ACM Transactions on Software Engineering and Methodology (context) - Jackson, with - 1995
66   Methodology and Implementation of a CLP System (context) - Jaffar, Michaylov - 1987
63   Semantics with Applications: A Formal Introduction (context) - Nielson, Nielson - 1992
62   Programmer's Manual (context) - McCarthy - 1962
59   Basic Polymorphic Type-checking - Cardelli - 1987
55   Distributed Operating Systems (context) - Tanenbaum - 1994
55   Specifications: a lexicon of practice (context) - Jackson - 1995
42   Modal Logics for Mobile Processes - Milner, Parrow et al. - 1993
38   International Series in Computer Science (context) - Sharp, Protocol - 1994
36   Systems Programming in Modula (context) - Nelson - 1991
34   Computability and Complexity --- From a Programming Point of.. (context) - Jones - 1996
28   The Craft of Programming (context) - Reynolds - 1981
27   Computational Category Theory (context) - Rydeheard, Burstall - 1991
26   A Method of Programming (context) - Dijkstra, Feijen - 1988
24   How to Program (context) - Deitel, Deitel - 1997
19   LOTOSphere: Software development with LOTOS (context) - Bolognesi, Lagemaat et al. - 1994
19   Computer Organization and Design (context) - Patterson, Hennessy - 1998
18   International Series in Computer Science (context) - Morgan, Specifications - 1990
18   The Vienna Development Method: The MetaLanguage (context) - Bjrner, Jones - 1978
17   A Logical Approach to Discrete Math (context) - Gries, Schneider - 1993
17   cambridge tracts in theoretical computer science edition (context) - Girard, Lafont et al. - 1989
15   The Temporal Logic of Reactive Systems: Specifications (context) - Manna, Pnueli - 1991
14   Database design (context) - Wiederhold - 1983
14   Formal Specification and Software Development (context) - Bjrner, Jones - 1982
12   The Logic of Programming (context) - Hehner - 1984
12   A Language for Specifying Software Architecture Hierarchies (context) - Moriconi, Rimenschneider et al. - 1997
12   Programming in Martin-Lof 's Type Theory An Introduction (context) - Nordstrom, Petersson et al. - 1990
9   Book: Assigning Programs to Meanings (context) - Abrial - 1996
6   FME'96: Industrial Benefit and Advances in Formal Methods (context) - Gaudel, Woodcock - 1996
5   Formal Methods (context) - Parnas - 1997
5   An Algebra of Boolean Processes - Courcoubetis, Graf et al. - 1991
5   Control of Infinite Behaviour of Finite Automata (context) - Thistle, Wonham - 1994
5   FME'94: Industrial Benefit of Formal Methods (context) - Naftalin, Denvir et al. - 1994
5   Towards a Formal Description of Ada (context) - Bjrner, Oest - 1980
4   Multi-Dimensional Searching and Computational Geometry (context) - Melhorn, Algorithms - 1984
4   IEEE-CS joint curriculum task force report computing curricu.. (context) - Tucker, of et al. - 1991
4   Formal approaches to software architecture (context) - Garlan - 1996
3   Use of VDM within CCITT (context) - Haff, Olsen - 1987
3   VDM From Research to Practice (context) - Oest - 1986
3   Lecture Notes in Computer Science (context) - Bloomfield, Marshall et al. - 1988
3   Third International Symposium of VDM Europe (context) - Bjrner, Hoare et al. - 1990
2   Englewood Cliffs (context) - Harbinson, Prentice-Hall - 1992
2   Lecture Notes on Logical Foundations for the Duration Calcul.. (context) - Chaochen, Hansen - 1993
2   The Contraint Logic Programming Language CHIP (context) - Dincbas - 1988
2   The Steam Boiler Problem --- A TLT Solution (context) - Cuellar, Wildgruber - 1996
2   The Feynmann Lectures on Physics (context) - Feynmann, Leighton et al. - 1963
2   FME'97: Industrial Applications and Strengthened Foundations.. (context) - Fitzgerald, Jones et al. - 1997
2   Specification of instruction set & Specification of floating.. (context) - Ltd - 1988
2   The Temporal Logic of Reactive Systems: Safety (context) - Manna, Pnueli - 1995
1   Functional Programming in Standard ML (context) - Hansen, Rischel - 1997
1   Cambridge Textbooks in Linguistics (context) - Allwod, Andersson et al. - 1977
1   volume II of The Systems Programming Series (context) - Date, to - 1983
1   Fourth International Symposium of VDM Europe (context) - Prehn, Toetenel et al. - 1991
1   Cu'ellar: Software Engineering Education (context) - Bjrner, Jones et al. - 1987
1   Project Graphs and Meta-Programs: Towards a Theory of Softwa.. (context) - Bjrner - 1986
1   Software Development Graphs -- A Unifying Concept for Softwa.. (context) - Bjrner - 1986
1   Hoare Series in Computing Science (context) - Milner, Concurrency - 1989
1   The Stepwise Development of Software Development Graphs: Met.. (context) - Bjrner - 1987
1   Proof-Based System Engineering for Computing Systems (context) - Le Lann - 1997
1   of Formal Methods Europe Symposium (context) - Larsen, Methods et al. - 1993
1   Cambridge University Press: Tracts in Theoretical Computer S.. (context) - Mosses - 1992
1   The Psychology of Computer Pogramming (context) - Weinberg - 1971
1   Cu'ellar: Software Engineering Education (context) - Method, RAISE et al. - 1992
1   Prentice Hall Engineering (context) - Tanenbaum, Systems - 1992
1   chapter Specification and Validation Methods (context) - Borger, on - 1995
1   Special issue (context) - Guarino, Conceptual et al. - 1996
1   Semantics of Programming Languages (context) - Gunther - 1992
1   The Formal Definition of CHILL (context) - Haff - 1981
1   NATO Science Committee (context) - Naur, Randall et al. - 1969
1   The Responsible Software Engineer: Selected Reading in IT Pr.. (context) - Hall, Pitt et al. - 1996
1   Introduction to Automa Theory (context) - Hopcroft, Ullman - 1979

Documents on the same site (http://nwi2.lub.lu.se/ae/bytitle/124801-124850.html):   More
Michael Jackson's Problem Frames: Towards.. - Bjørner.. (1997)   (Correct)
Where do Software Architectures come from? - Systematic.. - Bjørner (1998)   (Correct)
Formal Methods in the 21'st Century: An Assessment of Today -.. - Bjørner (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC