-
1
-
-
0002457703
-
The algebraic specification formalism ASF
-
In J. Bergstra, J. Heering, and P. Klint, editors; ACM Press Frontier Series; The ACM Press in co-operation with Addison-Wesley
-
J. A. Bergstra, J. Heering, and P. Klint. The algebraic specification formalism ASF. In J. Bergstra, J. Heering, and P. Klint, editors, Algebraic Specification, ACM Press Frontier Series, pages 1-66. The ACM Press in co-operation with Addison-Wesley, 1989.
-
(1989)
Algebraic Specification
, pp. 1-66
-
-
Bergstra, J.A.1
Heering, J.2
Klint, P.3
-
2
-
-
0033876837
-
Efficient annotated terms
-
M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. A. Olivier. Efficient annotated terms. Software, Practice & Experience, 30(3):259-291, 2000.
-
(2000)
Software, Practice & Experience
, vol.30
, Issue.3
, pp. 259-291
-
-
Van Den Brand, M.G.J.1
De Jong, H.A.2
Klint, P.3
Olivier, P.A.4
-
4
-
-
0000377431
-
Integrated hypertext and program understanding tools
-
P. Brown. Integrated hypertext and program understanding tools. IBM Systems Journal, 30(3):363-392, 1991.
-
(1991)
IBM Systems Journal
, vol.30
, Issue.3
, pp. 363-392
-
-
Brown, P.1
-
5
-
-
0012166625
-
Prototyping framework for SDL with evolving semantics
-
In J. Wu, S. T.Chanson, and Q. Gao, editors; Kluwer Academic Publishers
-
P. Csurgay. Prototyping framework for SDL with evolving semantics. In J. Wu, S. T.Chanson, and Q. Gao, editors, proceedings of the IFIP TC6 WG6.1 FORTE/PSTV'99, Formal Methods for Protocol Engineering and Distributed Systems. Kluwer Academic Publishers, 1999.
-
(1999)
Proceedings of the IFIP TC6 WG6.1 FORTE/PSTV'99, Formal Methods for Protocol Engineering and Distributed Systems
-
-
Csurgay, P.1
-
9
-
-
0027553807
-
A technique for drawing directed graphs
-
E. R. Gansner, E. Koutsofios, S. North, and K.-P. Vo. A technique for drawing directed graphs. IEEE Transactions on Software Engineering, 19(3):214-230, 1993.
-
(1993)
IEEE Transactions on Software Engineering
, vol.19
, Issue.3
, pp. 214-230
-
-
Gansner, E.R.1
Koutsofios, E.2
North, S.3
Vo, K.-P.4
-
10
-
-
0002412877
-
The syntax definition formalism SDF-reference manual
-
J. Heering, P. R. H. Hendriks, P. Klint, and J. Rekers. The syntax definition formalism SDF-Reference manual. SIG-PLAN Notices, 24(11):43-75, 1989.
-
(1989)
SIG-PLAN Notices
, vol.24
, Issue.11
, pp. 43-75
-
-
Heering, J.1
Hendriks, P.R.H.2
Klint, P.3
Rekers, J.4
-
12
-
-
0012131384
-
-
ITU-T recommendation Z.100, specification and description language (SDL)
-
ITU-T recommendation Z.100, specification and description language (SDL), 1988.
-
(1988)
-
-
-
13
-
-
0003255119
-
A pretty-printer for every occasion
-
In I. Ferguson, J. Gray, and L. Scott, editors; University of Wollongong, Australia
-
M. de Jonge. A pretty-printer for every occasion. In I. Ferguson, J. Gray, and L. Scott, editors, Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools (CoSET2000). University of Wollongong, Australia, 2000.
-
(2000)
Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools (CoSET2000)
-
-
De Jonge, M.1
-
14
-
-
18944407276
-
The grammar base
-
M. de Jonge, E. Visser, and J. Visser. The grammar base. Available from http://www.program-transformation.org/gb/
-
-
-
De Jonge, M.1
Visser, E.2
Visser, J.3
-
15
-
-
0003274039
-
XT: A bundle of program transformation tools
-
In M. van den Brand and D. Parigot, editors; Elsevier Science Publishers
-
M. de Jonge, E. Visser, and J. Visser. XT: a bundle of program transformation tools. In M. van den Brand and D. Parigot, editors; Proceedings of Language Descriptions, Tools and Applications (LDTA 2001), volume 44 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2001.
-
(2001)
Proceedings of Language Descriptions, Tools and Applications (LDTA 2001), Volume 44 of Electronic Notes in Theoretical Computer Science
-
-
De Jonge, M.1
Visser, E.2
Visser, J.3
-
18
-
-
4243736093
-
Semi-automatic grammar recovery
-
July
-
R. Lämmel and C. Verhoef. Semi-automatic grammar recovery, July 2000. Submitted, available at http://www.cwi.nl/~ralf/
-
(2000)
-
-
Lämmel, R.1
Verhoef, C.2
-
20
-
-
0032119705
-
Documentu: A flexible architecture for documentation production based on a reverse-engineering strategy
-
C. d. Oliveira Braga, A. von Staa, and J. C. S. do Prado Leite. Documentu: A flexible architecture for documentation production based on a reverse-engineering strategy. Journal of Software Maintenance, 10:279-303, 1998.
-
(1998)
Journal of Software Maintenance
, vol.10
, pp. 279-303
-
-
Oliveira Braga, C.D.1
Von Staa, A.2
Do Prado Leite, J.C.S.3
-
21
-
-
0029345191
-
ANTLR: A predicated-LL(k) parser generator
-
July
-
T. J. Parr and R. W. Quong. ANTLR: A predicated-LL(k) parser generator. Software - Practice and Experience, 25(7):789-810, July 1995.
-
(1995)
Software - Practice and Experience
, vol.25
, Issue.7
, pp. 789-810
-
-
Parr, T.J.1
Quong, R.W.2
-
23
-
-
0034271371
-
Incremental redocumentation using the web
-
September/October
-
V. Rajlich. Incremental redocumentation using the web. IEEE Software, 17(5):102-106, September/October 2000.
-
(2000)
IEEE Software
, vol.17
, Issue.5
, pp. 102-106
-
-
Rajlich, V.1
-
25
-
-
0012203377
-
The development of a parser for SDL-2000
-
Technical Report A-00-10, Medical University of Lübeck
-
M. Schmitt. The development of a parser for SDL-2000. Technical Report A-00-10, Medical University of Lübeck, 2000.
-
(2000)
-
-
Schmitt, M.1
-
26
-
-
0033325449
-
Generation of software renovation factories from compilers
-
In H. Yang and L. White, editors; IEEE Computer Society Press
-
M. Sellink and C. Verhoef. Generation of software renovation factories from compilers. In H. Yang and L. White, editors, Proceedings of the International Conference on Software Maintenance, pages 245-255. IEEE Computer Society Press, 1999.
-
(1999)
Proceedings of the International Conference on Software Maintenance
, pp. 245-255
-
-
Sellink, M.1
Verhoef, C.2
-
27
-
-
0033906833
-
Development, assessment, and reengineering of language descriptions
-
In J. Ebert and C. Verhoef, editors; IEEE Computer Society, March
-
M. Sellink and C. Verhoef. Development, assessment, and reengineering of language descriptions. In J. Ebert and C. Verhoef, editors, Proceedings of the Fourth European Conference on Software Maintenance and Reengineering, pages 151-160. IEEE Computer Society, March 2000.
-
(2000)
Proceedings of the Fourth European Conference on Software Maintenance and Reengineering
, pp. 151-160
-
-
Sellink, M.1
Verhoef, C.2
-
30
-
-
4244133397
-
The online survey of program transformation
-
E. Visser et al. The online survey of program transformation. http://www.program-transformation.org/survey.html
-
-
-
Visser, E.1
|