Greatest bisimulations for binary methodsTEWS, Hendrik.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopWorkshop on coalgebraic methods in computer science. 2002, 18 p.Conference Paper

Resource managementJACKSON, Stoney; DEVANBU, Prem.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-41792-3, p. 43Conference Paper

Termination of system F-bounded : A complete proofGHELLI, G.Information and computation (Print). 1997, Vol 139, Num 1, pp 39-56, issn 0890-5401Article

A denotational approach for type-checking in object-oriented programming languages = Une approche dénotationnelle pour la vérification de type dans les langages de programmation orientés objetIERUSALIMSCHY, R.Computer languages. 1993, Vol 19, Num 1, pp 19-40, issn 0096-0551Article

Structural constraint-based modeling and reasoning with basic configuration cellsGASCA, Rafael M; ORTEGA, Juan A; TORO, Miguel et al.Lecture notes in computer science. 2001, pp 595-599, issn 0302-9743, isbn 3-540-42863-1Conference Paper

Fast and compact dispatching for dynamic object-oriented languagesQUEINNEC, C.Information processing letters. 1997, Vol 64, Num 6, pp 315-321, issn 0020-0190Article

Notes on Notes on postmodern programming : TrackNOBLE, James; BIDDLE, Robert.ACM SIGPLAN notices. 2004, Vol 39, Num 12, pp 40-56, issn 1523-2867, 17 p.Article

The paradigm of open C++SUNIK, Boris.ACM SIGPLAN notices. 2003, Vol 38, Num 6, pp 50-59, issn 1523-2867, 10 p.Article

UML : The birth and rise of a standard modoling notationBEZIVIN, J; MULLER, P.-A.Lecture notes in computer science. 1999, pp 1-8, issn 0302-9743, isbn 3-540-66252-9Conference Paper

Engineering software design processes to guide process executionXIPING SONG; OSTERWEIL, L. J.IEEE transactions on software engineering. 1998, Vol 24, Num 9, pp 759-775, issn 0098-5589Article

Workshops 05+06 : Programming languages and concurrent object-oriented programmingPERROTT, R; AGHA, G.Lecture notes in computer science. 1997, pp 507-510, issn 0302-9743, isbn 3-540-63440-1Conference Paper

ICBMC: An improved cohesion measure for classesYUMING ZHOU; BAOWEN XU; JIANJUN ZHAO et al.Proceedings - Conference on Software Maintenance. 2002, pp 44-53, issn 1063-6773, isbn 0-7695-1819-2, 10 p.Conference Paper

Developing security systems in the real worldLI GONG.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-67660-0, p. 251Conference Paper

CrocoCosmosLEWERENTZ, Claus; SIMON, Frank; STEINBRÜCKNER, Frank et al.Lecture notes in computer science. 2002, pp 446-447, issn 0302-9743, isbn 3-540-43309-0Conference Paper

Proceedings of the 2001 ACM SIGPLAN conference on object-oriented programming, systems, languages & applications (OOPSLA'01)ACM SIGPLAN notices. 2001, Vol 36, Num 11, issn 1523-2867, 391 p.Conference Proceedings

Autographe : A graphical version of AutomateUPPMAN, A; CHAMPARNAUD, J.-M.Lecture notes in computer science. 1999, pp 226-229, issn 0302-9743, isbn 3-540-66652-4Conference Paper

OBJETS ET CONTRAINTES = OBJECTS AND CONSTRAINTSPelenc, Stéphane; Ducournav, Roland.1998, 251 p.Thesis

SPL, un langage gestionnaire de bases de données de composants industriels = SPL, a langage for industrial components data basesVIERO, E; FARINONE, J.-M; WILLMANN, N et al.INFORSID. Congrès. 1997, pp 445-464, isbn 2-906855-13-8Conference Paper

Simulation with object oriented programmingWARD, R. L; HUANG, W. V.Computers & industrial engineering. 1992, Vol 23, pp 219-222, issn 0360-8352Conference Paper

A functional standard to support the cross-platform/OOPL development of organism-based software environments : the FOX-Std-1.00 development standardLEFRANÇOIS, P; MONTREUIL, B.1994, 32 p.Book

An object oriented reuse repositoryBOULANGER, D; COLLOC, J; TALENS, G et al.1995, 12 p.Book

HydroJ: Object-oriented pattern matching for evolvable distributed systemsLEE, Keunwoo; LAMARCA, Anthony; CHAMBERS, Craig et al.ACM SIGPLAN notices. 2003, Vol 38, Num 11, pp 205-223, issn 1523-2867, 19 p.Conference Paper

Automated extract component refactoringWASHIZAKI, Hironori; FUKAZAWA, Yoshiaki.Lecture notes in computer science. 2003, pp 328-330, issn 0302-9743, isbn 3-540-40215-2, 3 p.Conference Paper

The Rotor .Net PlatformHORSPOOL, Nigel.IEE Proceedings - Software (Print). 2003, Vol 150, Num 5, issn 1462-5970, 70 p.Conference Proceedings

FOOL VIBRUCE, Kim B.Information and computation (Print). 2002, Vol 175, Num 1, issn 0890-5401, 118 p.Conference Proceedings