Four-fold Increase in Productivity and Quality - Industrial-Strength Functional Programming in Telecom-Class Products (2001)

Cached

Download Links

by Ulf Wiger , Ericsson Telecom Ab
Citations:6 - 0 self

Documents Related by Co-Citation

15 AXD 301: A new generation ATM switching system – Staffan Blau, Jan Rooth, Jorgen Axell, Fiffi Hellstrand, Magnus Buhrgard, Tommy Westin, Goran Wicklund - 1998
21 Open telecom platform – Seved Torstendahl - 1997
7 Concurrent functional programming for telecommunications: A case study of technology introduction – Bjarne Däcker - 2000
28 The Graph Visualization System daVinci -- A User Interface . . . – Michael Fröhlich, Mattias Werner - 1994
289 Mining Specifications – Glenn Ammons, Rastislav Bodik, James R. Larus - 2002
77 CADP - A Protocol Validation and Verification Toolbox – Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu - 1996
230 Discovering Models of Software Processes from Event-Based Data – Jonathan E. Cook, Alexander L. Wolf - 1998
222 A Technique for Drawing Directed Graphs – Emden R. Gansner, Eleftherios Koutsofios, Stephen C. North, Kiem-phong Vo - 1993
302 Results on the propositional µ-calculus – D Kozen - 1983
9 World-Class Product Certification using Erlang – Ulf Wiger, Gösta Ask, Kent Boortz, Ericsson Ab - 2002
1 Concurrency-oriented programming in Erlang. Invited Talk at the Lightweight Languages Workshop – J Armstrong - 2002
1 Refactoring with Wrangler: Data and process refactorings and integration with Eclipse – H li, S Thompson, G Orosz, M Toth
12 Detecting software defects in telecom applications through lightweight static analysis: A war story – Tobias Lindahl, Konstantinos Sagonas - 2004
9 Use of Prolog for developing a new programming language – J. L. Armstrong, S.R. Virding, M. C. Williams - 1992
11 Scalaris: reliable transactional p2p key/value store – Thorsten Schütt, Florian Schintke, Alexander Reinefeld - 2008
50 Making Reliable Distributed Systems in the Presence of Software Errors – Joe Armstrong, To Helen - 2003
1095 Actors: A model of concurrent computation in distributed systems – G Agha - 1986
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
70 The development of Erlang – Ericsson Telecom Ab - 1997