Index of /~jlavalle/papers/wieringa

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 89-cake.ps.Z                      14-Oct-2010 14:10   44K  
 90-Aigen.ps.Z                     14-Oct-2010 14:10   35K  
 91-Actors.ps.Z                    14-Oct-2010 14:10   70K  
 91-CMSL2.ps.Z                     14-Oct-2010 14:10  171K  
 91-DynamicObjects.ps.Z            14-Oct-2010 14:10  114K  
 91-EquationalSpecOfOBjects.ps.Z   14-Oct-2010 14:10   77K  
 91-Inheritance.ps.Z               14-Oct-2010 14:10  139K  
 91-ObjectsRoles.ps.Z              14-Oct-2010 14:10   53K  
 91-SA-OO-JSD.ps.Z                 14-Oct-2010 14:10   75K  
 91-StepsToOO.ps.Z                 14-Oct-2010 14:10  112K  
 92-ObjectsRoles.ps.Z              14-Oct-2010 14:10   90K  
 93-DeonticActors.ps.Z             14-Oct-2010 14:10  265K  
 93-DeonticApplications.ps.Z       14-Oct-2010 14:10   72K  
 93-DeonticContext.ps.Z            14-Oct-2010 14:10   61K  
 93-JSD-ER-DFD.ps.Z                14-Oct-2010 14:10  110K  
 93-LibrarySpec.ps.Z               14-Oct-2010 14:10  203K  
 93-OmTroll.ps.Z                   14-Oct-2010 14:10  109K  
 93-Roles.ps.Z                     14-Oct-2010 14:10  134K  
 94-LifeCycleInheritance.ps.Z      14-Oct-2010 14:10  102K  
 94-ProductionCell.ps.Z            14-Oct-2010 14:10  147K  
 94-subideal.ps.Z                  14-Oct-2010 14:10   83K  
 94-transactions.ps.Z              14-Oct-2010 14:10   44K  
 94-validation.ps.Z                14-Oct-2010 14:10   99K  
 95-DynamicClassesAndRoles.ps.Z    14-Oct-2010 14:10  202K  
 95-Euromethod.ps.Z                14-Oct-2010 14:10  159K  
 95-FormalInformal.ps.Z            14-Oct-2010 14:10   59K  
 95-MethodIntegration.ps.Z         14-Oct-2010 14:10  133K  
 95-ObjectIdentifiers.ps.Z         14-Oct-2010 14:10  136K  
 95-ShlaerMellor.ps.Z              14-Oct-2010 14:10  212K  
 95-intentions.ps.Z                14-Oct-2010 14:10   98K  
 95-traceability.ps.Z              14-Oct-2010 14:10   96K  
 95-validation.ps.Z                14-Oct-2010 14:10   42K  
 96-AIandLaw.ps.Z                  14-Oct-2010 14:10  163K  
 96-ActionSpecProp.ps.Z            14-Oct-2010 14:10  165K  
 96-FreeChoice.ps.Z                14-Oct-2010 14:10   90K  
 96-ShlaerMellorFormalization.ps.Z 14-Oct-2010 14:10  458K  
 96-TransactionSpecProp.ps.Z       14-Oct-2010 14:10  125K  
 97-8-js-tdl.ps.Z                  14-Oct-2010 14:10  152K  
 97-ActionSpecFol.ps.Z             14-Oct-2010 14:10  196K  
 97-TRADE01.ps.Z                   14-Oct-2010 14:10  161K  
 97-TRADE02.ps.Z                   14-Oct-2010 14:10  146K  
 97-TradeAlbert.ps.Z               14-Oct-2010 14:10  107K  
 MI.ps                             14-Oct-2010 14:10  5.2K  
 MI1.ps                            14-Oct-2010 14:10  5.2K  
 RE1.ps                            14-Oct-2010 14:10  120K  
 iscore.ps                         14-Oct-2010 14:10   58K  
 phd.ps                            14-Oct-2010 14:10   11K