See this document in CiteSeerX!

Basic Multi-Competence Programming (2000)  (Make Corrections)  (1 citation)
Jan A. Bergstra, Inge Bethke, Alban Ponse



  Home/Search   Context   Related

 
View or download:
wins.uva.nl/pub/programmin...P0001.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  adam.wins.uva.nl/~alban/pu...pubs (more)
(Enter author homepages)

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

Abstract: BMCP (Basic Multi-Competence Programming) is a paradigm for teamwork for simple programming tasks. BMCP is simplified in the sense that programming tasks require no more than implementing a given functional specification. BMCP uses CVN (Conditional Value Notation) as a format for its functional specifications. BMCP displays seven competences, this collection being derived from an underlying family of four so-called program assessment perspectives. BMCP requires fixed agreements on interfacing,... (Update)

Cited by:   More
Basic Multi-Competence Programming - Bergstra, Bethke, Ponse (2000)   (Correct)

Active bibliography (related documents):   More   All
4.9:   Two Recursive Generalizations of Iteration in Process Algebra - Bergstra (1998)   (Correct)
3.5:   Annotated Algebraic Specification of the Syntax and Semantics.. - Brunekreef (1998)   (Correct)
2.9:   A specification of Box to HTML in ASF+SDF - van der Graaf (1997)   (Correct)

Similar documents based on text:   More   All
0.5:   A Car Registration Authority, a Concise PSF-Specification - Bethke, Ponse (1993)   (Correct)
0.5:   Frame-Based Process Logics - Bergstra, Ponse (1995)   (Correct)
0.5:   Process Algebra with Combinators - Bergstra, Bethke, Ponse (1994)   (Correct)

Related documents from co-citation:   More   All
3:   Discrete time process algebra (context) - Baeten, Bergstra
3:   Real space process algebra (context) - Baeten, Bergstra - 1993
3:   An algebraic speci cation of a model factory (context) - Brunekreef, Ponse

BibTeX entry:   (Update)

I. Bethke J.A. Bergstra and A. Ponse. Basic Multi-Competence Programming. http://citeseer.ist.psu.edu/bergstra00basic.html   More

@misc{ bethke-basic,
  author = "I. Bethke and J. Bergstra and A. Ponse",
  title = "Basic Multi-Competence Programming",
  url = "citeseer.ist.psu.edu/bergstra00basic.html" }
Citations (may not include all citations):
441   Software Engineering Economics (context) - Boehm - 1981
206   The Art of Software Testing (context) - Myers - 1979
155   Real time process algebra (context) - Baeten, Bergstra
155   Real time process algebra (context) - Baeten, Bergstra
113   Decidability of bisimulation equivalence for processes gener.. (context) - Baeten, Bergstra et al.
100   Discrete time process algebra (context) - Baeten, Bergstra
100   Discrete time process algebra (context) - Baeten, Bergstra
100   Discrete time process algebra (context) - Baeten, Bergstra
57   Axiomatizing probabilistic processes: ACP with generative pr.. (context) - Baeten, Bergstra et al.
57   Axiomatizing Probabilistic Processes: ACP with Generative Pr.. (context) - Baeten, Bergstra et al.
56   Module Algebra (context) - Bergstra, Heering et al.
49   Process algebra with iteration and nesting (context) - Bergstra, Bethke et al.
47   Generation of Components for Software Renovation Factories f.. - van den Brand, Sellink et al.
40   Controlling Software Projects (context) - DeMarco - 1982
32   A typed logic of partial functions reconstructed classically - Jones, Middelburg - 1994
31   Sequential data algebra primitives - Bergstra, Sellink
31   Sequential data algebra primitives - Bergstra, Sellink
31   Current Parsing Techniques in Software Renovation Considered.. (context) - van den Brand, Sellink et al.
31   Process theory based on bisimulation semantics (context) - Bergstra, Klop
30   Veri cation of Sequential and Concurrent Programs (context) - Apt, Olderog - 1997
30   Global renaming operators in concrete process algebra (context) - Baeten, Bergstra
30   Scannerless Generalized-LR Parsing - Visser
28   The discrete time ToolBus (context) - Bergstra, Klint
28   Generation of formatters for context-free languages - van den Brand, Visser
24   How to Program (context) - Deitel, Deitel - 1999
23   Network algebra for synchronous and asynchronous data ow - Bergstra, Middelburg et al.
22   Native Patterns - Sellink, Verhoef
21   Grid protocols based on synchronous communication: speci cat.. - Bergstra, Hillebrand et al.
20   Specifying input and output of visual languages - Dinesh, Usk
19   Process algebra with iteration - Bergstra, Bethke et al.
18   Connecting semantic tools to a syntax-directed user-interfac.. - Koorn
18   NJ: Prentice Hall (context) - Kernighan, Ritchie et al. - 1988
18   Generation of Software Renovation Factories from Compilers - Sellink, Verhoef
18   Data Flow Analysis for Reverse Engineering - Moonen
17   The VAS formalism in VASE - Dinesh, Usk
17   Real space process algebra (context) - Baeten, Bergstra
17   Real space process algebra (context) - Baeten, Bergstra
17   Real space process algebra (context) - Baeten, Bergstra
16   the conservativity of Leibniz Equality - Sellink
16   Transformations of Reduction Systems - Luttik, Rodenburg
16   A Complete System of Four-valued Logic (context) - Rodenburg
16   A Generic Architecture for Data Flow Analysis to Support Rev.. - Moonen
16   Network algebra with demonic relation operators - Bergstra, Stefanescu
16   Process algebra with signals and conditions (context) - Baeten, Bergstra
16   an interactive tool for transformation of logic programs (context) - Brunekreef
16   Frame algebra with synchronous communication - Bergstra, Ponse
16   A transformation tool for pure Prolog programs: the algebrai.. - Brunekreef
15   Core Technologies for System Renovation - van den Brand, Klint et al.
15   Design and analysis of dynamic leader election protocols in .. - Brunekreef, Koymans et al.
14   Embedded system simulation: testdriving the ToolBus - Olivier
14   A Formal Axiomatization for Alphabet Reasoning with Parametr.. - Korver, Sellink
14   Re-engineering needs Generic Programming Language Technology - van den Brand, Klint et al.
14   and Reengineering of Language Descriptions (context) - Sellink, Verhoef et al.
13   Process algebra with partial choice (context) - Baeten, Bergstra
13   Dorset House Publishing Co (context) - DeMarco, Lister et al. - 1982
13   A case study in optimizing parsing schemata by disambiguatio.. - Visser
13   Debugging Distributed Applications Using a Coordination Arch.. (context) - Olivier
13   The toolbus: a component interconnection architecture - Bergstra, Klint
12   Implementation of an Imperative Programming Language with Ba.. - Partington
12   A propositional logic with 4 values: true (context) - Bergstra, Bethke et al.
12   Term rewriting analysis (context) - Akkerman, Baeten
12   A propositional logic with 4 values: true (context) - Bergstra, Bethke et al. - 1995
11   a and J.V. Tucker. Equational speci cations, complete term r.. (context) - Bergstr - 1996
11   Process algebra with backtracking - Bergstra, Ponse et al.
11   Frame-based process logics - Bergstra, Ponse
11   An Arithmetical Module for Rationals and Reals - Bergstra, Sellink
11   Process algebra with backtracking - Bergstra, Ponse et al.
11   a and J.V. Tucker. Equational speci cations, complete term r.. (context) - Bergstr
10   Automatic analysis of term rewriting systems: proving proper.. - Romijn
9   The ABP and the CABP - a comparison of performances in realt.. (context) - Hillebrand
9   Language Prototyping: An Algebraic Speci cation Approach (context) - van Deursen, Heering et al. - 1996
9   Non interleaving process algebra (context) - Baeten, Bergstra
9   A mode transfer operator (context) - Bergstra
9   New features in PSF II: iteration and nesting (context) - Diertens, Ponse
9   Control Flow Normalization COBOLCIC Legacy System - Sellink, Flow et al.
9   The ABP and the CABP - a comparison of performances in real .. (context) - Hillebrand
9   A mode transfer operator (context) - Bergstra
8   Building an editor from existing components: an exercise in .. - Koorn, Bakker
8   A Two-phase Process for Software Architecture Improvement - Krikhaar, Postma et al.
8   Inspections and Technical Reviews (context) - Freedman, Weinberg et al. - 1990
8   Syntax and static semantics of the interlocking design and a.. - Bol, Oei et al.
8   Simulation and Animation of Process Algebra Speci cations - Diertens
7   Process algebra with combinators - Bergstra, Bethke et al.
7   Pruning the search tree of interlocking design and applicati.. (context) - Oei
7   A survey of axiom systems for process algebras (context) - Baeten, Bergstra
7   Bisimulation is two-way simulation - Bergstra, Stefanescu
7   Process algebra with zero a object (context) - Baeten, Bergstra
6   Character Classes - Visser
6   Program Algebra for Component Code (context) - Bergstra, Loots
6   Program algebra for component code (context) - Bergstra, Loots - 1998
6   Asynchronous communication in real space process algebra (context) - Baeten, Bergstra
6   New features in PSF I: interrupts (context) - Diertens
6   A logic covering unde nedness in program proofs (context) - Barringer, Cheng et al. - 1984
5   Process algebra with feedback - Baeten, Bergstra et al.
5   Restructuring cobolcic Legacy System (context) - Sneed, of et al.
5   Logic of transition systems (context) - van Benthem, Bergstra
5   Kleene's Three-Valued Logic and Process Algebra - Bergstra, Ponse
5   Process Algebra with Four-Valued Logic (context) - Bergstra, Ponse
5   SO Message Conservative Extension Higher Order PositiveNegat.. - Verhoef, Message et al.
5   Computing distinguishing formulas for branching bisimulation (context) - Korver
5   A general conservative extension theorem (context) - D'Argenio, Verhoef
4   Process algebra for synchronous communication and observatio.. (context) - Bergstra
4   A well-formedness checker for CRL (context) - Hillebrand, Korver
4   Software Project Dynamics (context) - Abdel-Hamid, Madnick - 1991
4   From Context-free Grammars with Priorities to Character Clas.. - Visser
4   Participants Proceedings of the 2nd International Workshop o.. (context) - Sellink
4   and Euro | What Reverse Engineering can do to Help (context) - Sneed, the et al. - 2000
4   Two Recursive Generalizations of Iteration (context) - Bergstra, Ponse
4   Process algebra for synchronous communication and observatio.. (context) - Bergstra
4   The current state of bisimulation tools (context) - Korver
4   Building Quality Software (context) - Glass - 1992
4   Prettyprinting without losing comments - van den Brand
4   Reverse engineering and system renovation: an annotated bibl.. - van den Brand, Klint et al.
4   Bochvar-McCarthy Logic and Process Algebra (context) - Bergstra, Ponse
4   A study of a one bit sliding window protocol in ACP (context) - van Wamel
4   Graph isomorphism models for non interleaving process algebr.. (context) - Baeten, Bergstra
4   Process Algebra Primitives for File Transfer - Bergstra, Ponse
4   A logical framework for design processes (context) - Treur
4   Research Issues in the Renovation of Legacy Systems - van Deursen, Klint et al.
3   ACP with signals (context) - Bergstra
3   A real time process logic (context) - Baeten, Bergstra et al.
3   Processes with multiple entries and exits modulo isomorphism.. - Bergstra, Stefanescu
3   Generation of language independent prettyprinters (context) - van den Brand
3   An algebraic speci cation of a model factory (context) - Brunekreef, Ponse
3   Speci cation of a bank account with process algebra (context) - Stins, Schoneveld
3   Evolutionary Software Engineering: A Component-based Approac.. - Klint, Verhoef
3   VVSL: a language for structured VDM speci cations (context) - Middelburg - 1989
3   The PSF toolkit (context) - Veltink
3   An algebraic speci cation of a model factory (context) - Hillebrand, Ponse
3   Control and data transfer in the distributed editor of the A.. - van Vlijmen, Vriend et al.
3   Interpolation in Equational Logic (context) - Rodenburg
3   An algebraic speci cation of a model factory (context) - Ponse, Verschuren
2   Process algebra and dynamic logic (context) - Ponse
2   A process speci cation formalism (context) - Mauw, Veltink
2   A Tool Interface Language for PSF (context) - Mauw, Veltink
2   Interpolation in conditional equational logic (context) - Rodenburg
2   Design of a speci cation language by abstract syntax enginee.. (context) - Baeten, Bergstra
2   A formal speci cation of three Sliding Window Protocols (context) - Brunekreef
2   The data type variety of stack algebras - Bergstra, Tucker
2   Termherschrijfsystemen in Prolog (context) - Wiedijk
2   the use of re ection principles in modelling complex reasoni.. (context) - Treur
2   The algebraic speci cation of semicomputable data types (context) - Vrancken
2   A process speci cation formalism based on static COLD (context) - Baeten, Mauw et al.
2   action pre xes and process pre x (context) - Baeten, Bergstra et al.
2   Uni cation in the algebra of sets with union and empty set (context) - Drost
2   Software mechanics for Java multi-threading - Bergstra, Loots
2   The inescapable stack: An exercise in algebraic speci cation.. (context) - Bergstra, Tucker
2   Conservative Extension PositiveNegative Conditional Term Rew.. (context) - Verhoef, in et al.
2   From Box to TeX: An algebraic approach to the construction o.. - van den Brand, Visser
2   action pre xes and process pre x (context) - Baeten, Bergstra et al.
2   Reengineering COBOL Software Implies Speci cation of the Und.. (context) - van den Brand, Sellink et al.
2   The algebraic speci cation of annotated abstract syntax tree.. (context) - van den Brand, Groza
2   Workshop on Algebra of Communicating Processes May (context) - Ponse, Verhoef et al. - 1994
2   The algebraic speci cation of semicomputable datatypes (context) - Vrancken
2   Processen en procesexpressies (context) - Baeten, Bergstra et al.
2   An experiment in implementing process algebra speci cations .. - Groza
2   An Architecture for Software Maintenance (context) - Sellink, Verhoef
2   A formal speci cation of three Sliding Window Protocols (context) - Brunekreef
2   Using lters for the disambiguation of context-free grammars (context) - Klint, Visser
2   The inescapable stack: An exercise in algebraic speci cation.. (context) - Bergstra, Tucker
2   Design of a speci cation language by abstract syntax enginee.. (context) - Baeten, Bergstra
2   A process speci cation formalism based on static COLD (context) - Baeten, Mauw et al.
2   Het alternating bit protocol met time out in discrete tijd (context) - Kaart, Polak
2   A generic text and structure editor (context) - Koorn
1   Local control of inference by means of meta-rules (context) - Lenferink
1   A library for PSF - van Wamel
1   De nability with the state operator (context) - Blanco
1   Strategische uitleg in een medisch expertsysteem (context) - Faber
1   Uitleg en kennisrepresentatie in expertsystemen (context) - Faber
1   Speci cation of remote sensing mechanisms in real space proc.. (context) - van Waveren
1   Heuristic reasoning with incomplete knowledge (context) - Treur
1   Equational Constructor Induction - Bethke, Rodenburg
1   Reasoning about partial models (context) - Treur
1   An ecient implementation of branching bisimulation and disti.. (context) - Polak
1   Voorlopig rapport over de speci catie-taal Perspect (context) - Wiedijk
1   The BCA Bull Course Adviser (context) - Swart
1   Metakennis en meta-inferenties in expertsystemen (context) - Treur
1   The implementation of process algebra speci cations in POOL-.. (context) - Vrancken
1   Generic inference processes and their interactions in comple.. (context) - Treur
1   An algebraic speci cation of a model factory (context) - van Vlijmen, van Waveren
1   Completeness and de nability in diagnostic expert systems (context) - Treur
1   A secret message in the archive of the last great pensionary.. (context) - de Leeuw, van der Meer
1   Recursive process de nitions with the state operator (context) - Baeten, Bergstra
1   Veri cation of a sliding window protocol by means of process.. (context) - Groenveld
1   Development of an expert system (context) - Dasselaar
1   A Family of Syntax De nition Formalisms (context) - Visser
1   Een declaratieve en procedurele kennisrepresentatievorm voor.. (context) - Hurkmans
1   SDF Speci cation into a ToolBus Application (context) - Hillebrand, ASF
1   Speci cation ofRewriting Strategies (context) - Luttik, Visser
1   Technical Reports of the Programming Research Group Note: Th.. (context) - Weinberg, Management et al. - 1992
1   A small language for the speci cation of Grid Protocols (context) - Hillebrand
1   An operator de nition principle (context) - Verhoef
1   Solving type equations in multi-level speci cations (context) - Visser
1   Grid Protocol Speci cations (context) - Bergstra, Ponse
1   Annotated Algebraic Speci cation of the Syntax and Semantics.. (context) - Brunekreef
1   Multi-level speci cations (context) - Visser
1   Basic Multi-Competence Programming - Bethke, Bergstra et al.
1   Some Veri cations (context) - van der Zwaag
1   Generating visual editors for formally speci ed languages (context) - Usk
1   A Token ring network in PSFd (context) - Jacobsson, Mauw

[Article contains additional citations not shown here]

Documents on the same site (http://adam.wins.uva.nl/~alban/publist/pubs.html):   More
Proof Theory for µCRL - Groote, Ponse (1991)   (Correct)
Methods for the transformation and analysis of CRL - ? (1990)   (Correct)
Process Algebra with Five-Valued Conditions - Bergstra, Ponse (1999)   (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