Paper1994.msl

import "platform:/resource/SLROnToleranceInMDE/src/Language.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Authors.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Venues.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2013.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2014.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2011.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2006.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2003.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2005.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1996.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2008.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2004.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2009.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2000.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2012.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2015.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1997.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2010.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1999.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2001.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1998.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2007.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1989.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1991.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1992.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2002.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1990.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2016.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2017.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2018.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2019.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper2020.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1977.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1994.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1983.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1995.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1982.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1987.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1986.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1988.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1985.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1993.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1984.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1978.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1976.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1979.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1980.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1941.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1968.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1981.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1975.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1972.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1974.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1969.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1967.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1970.msl"
import "platform:/resource/SLROnToleranceInMDE/src/Papers/Paper1959.msl"
 	
model Paper1994{
	paper85329665:Paper {
                .title : "OO Modeling for Flexible Manufacturing Systems"
            	.year : 1994
            	.core : true
            	.relevance:false
            	-venue->venue343
            	-authors->author2552464544
            }
	paper1498996471:Paper {
                .title : "Extracting an Entity Relationship Schema from a Relational Database through Reverse Engineering"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue597
            	-cites->paper9091155
            	-cites->paper1521935994
            	-authors->author2630049873
            }
	paper1511832825:Paper {
                .title : "Specification of Graph Translators with Triple Graph Grammars"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue563
            	-authors->author675269377
            }
	paper1537146784:Paper {
                .title : "Ordering and timeliness requirements of dependable realtime programs"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue751
            	-cites->paper1973501242
            	-cites->paper1985349143
            	-cites->paper2164357820
            	-authors->author2062465576
            }
	paper1567693394:Paper {
                .title : "Abstracting Interactions Based on Message Sets"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue26
            	-cites->paper2018028877
            	-cites->paper2110425399
            	-authors->author1843226284
            	-authors->author2161553928
            }
	paper1793726001:Paper {
                .title : "Probabilistic Simulations for Probabilistic Processes"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue515
            	-cites->paper2110425399
            	-cites->paper2125500714
            	-cites->paper2165161585
            	-authors->author121359932
            	-authors->author2180706138
            }
	paper1964723977:Paper {
                .title : "Linear cryptanalysis method for DES cipher"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue972
            	-authors->author2940249581
            }
	paper1975840504:Paper {
                .title : "On testing cachecoherent shared memories"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1284
            	-cites->paper1885534640
            	-cites->paper2039509099
            	-cites->paper2054739713
            	-cites->paper2081040934
            	-cites->paper2101939036
            	-cites->paper2114925953
            	-cites->paper2127547524
            	-cites->paper2137650676
            	-cites->paper2176864362
            	-authors->author2144092273
            	-authors->author712891809
            }
	paper1992337747:Paper {
                .title : "Skyblue a multiway local propagation constraint solver for user interface construction"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1563
            	-cites->paper1579120539
            	-cites->paper2064707938
            	-authors->author2080933598
            }
	paper2007167977:Paper {
                .title : "Viewpoint specification and Z"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1624
            	-cites->paper1970495662
            	-cites->paper2054097655
            	-authors->author2170923759
            	-authors->author2787760513
            	-authors->author2132579616
            	-authors->author2036218600
            }
	paper2015688007:Paper {
                .title : "The temporal logic of actions"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1385
            	-cites->paper2103953153
            	-cites->paper2111706174
            	-cites->paper2132107743
            	-cites->paper2132334337
            	-authors->author2096750770
            }
	paper2024795941:Paper {
                .title : "Performing data flow testing on classes"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1559
            	-cites->paper1491178396
            	-cites->paper2051374949
            	-authors->author1949835151
            	-authors->author2984677931
            }
	paper2032325066:Paper {
                .title : "Sybase replication server"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue517
            	-authors->author2677594137
            	-authors->author2638257416
            	-authors->author2676357771
            }
	paper2037005852:Paper {
                .title : "Modularity and reusability in attribute grammars"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1267
            	-cites->paper122796551
            	-cites->paper2147543351
            	-authors->author65550374
            	-authors->author698499504
            }
	paper2043318789:Paper {
                .title : "Synthesis of extended transaction models using ACTA"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1487
            	-cites->paper1545155892
            	-cites->paper1855065956
            	-cites->paper2104954161
            	-authors->author2030977514
            	-authors->author323797451
            }
	paper2049886280:Paper {
                .title : "PROBABILITY INTERVALS A TOOL FOR UNCERTAIN REASONING"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue2092
            	-authors->author2103089053
            	-authors->author2156828743
            	-authors->author2158028128
            }
	paper2049913483:Paper {
                .title : "Secure agreement protocols reliable and atomic group multicast in rampart"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue691
            	-cites->paper1985349143
            	-cites->paper2035362408
            	-cites->paper2120510885
            	-cites->paper2152465173
            	-authors->author2260712038
            }
	paper2066843515:Paper {
                .title : "The transferable belief model"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1397
            	-cites->paper2159080219
            	-authors->author2138894044
            }
	paper2071596433:Paper {
                .title : "Bounded ignorance a technique for increasing concurrency in a replicated system"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1487
            	-cites->paper1545155892
            	-cites->paper1968574122
            	-cites->paper1973501242
            	-cites->paper2043671329
            	-cites->paper2087668037
            	-cites->paper2106887953
            	-cites->paper2123737479
            	-authors->author2119688449
            	-authors->author2209989846
            }
	paper2073214011:Paper {
                .title : "Moving out from the control room ethnography in system design"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1401
            	-cites->paper2045571829
            	-authors->author2527578797
            	-authors->author2669841787
            	-authors->author1980670276
            	-authors->author2112685154
            }
	paper2076126314:Paper {
                .title : "Constraint checking with partial information"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1313
            	-authors->author2103069312
            	-authors->author671527850
            	-authors->author2710603291
            	-authors->author2289364316
            }
	paper2090757636:Paper {
                .title : "The design and evaluation of a shared object system for distributed memory machines"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue330
            	-cites->paper2127547524
            	-cites->paper2140471248
            	-authors->author1949796049
            	-authors->author2136170053
            }
	paper2092311766:Paper {
                .title : "Composing firstclass transactions"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1385
            	-authors->author2973488031
            	-authors->author2617158886
            	-authors->author1584891692
            	-authors->author2463506262
            	-authors->author2696197492
            }
	paper2090826457:Paper {
                .title : "Cleanroom process model"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1294
            	-authors->author696362100
            }
	paper2100100130:Paper {
                .title : "File system design for an NFS file server appliance"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue2550
            	-authors->author2708273169
            	-authors->author2164363455
            	-authors->author2163167116
            }
	paper2100173406:Paper {
                .title : "Runtime and compiletime support for adaptive irregular problems"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue2335
            	-authors->author2299644803
            	-authors->author2152993714
            	-authors->author2471083882
            	-authors->author2103064554
            	-authors->author2111158966
            	-authors->author2120548905
            }
	paper2105603754:Paper {
                .title : "A framework for expressing the relationships between multiple views in requirements specification"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1331
            	-cites->paper1979290877
            	-cites->paper2007167977
            	-cites->paper2017739343
            	-cites->paper2044301784
            	-cites->paper2054097655
            	-cites->paper2095958260
            	-cites->paper2110425399
            	-cites->paper2117870171
            	-cites->paper2294967233
            	-authors->author2207023792
            	-authors->author2082763392
            	-authors->author2095806276
            }
	paper2105604586:Paper {
                .title : "A quality of service architecture"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue185
            	-authors->author2106295919
            	-authors->author1966456890
            	-authors->author2126914009
            }
	paper2105818147:Paper {
                .title : "On the selfsimilar nature of Ethernet traffic extended version"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue2639
            	-authors->author1973004261
            	-authors->author2462826325
            	-authors->author515099556
            	-authors->author2129783422
            }
	paper2114827297:Paper {
                .title : "Applicationspecific protocols for userlevel shared memory"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue2335
            	-cites->paper1966285605
            	-cites->paper2127547524
            	-authors->author2154799610
            	-authors->author2112660313
            	-authors->author2050568094
            	-authors->author2027021189
            	-authors->author635023701
            	-authors->author2305633740
            	-authors->author117387042
            	-authors->author2287929299
            }
	paper2114925953:Paper {
                .title : "Sequential consistency versus linearizability"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1364
            	-cites->paper1545155892
            	-cites->paper1555915743
            	-cites->paper1569626261
            	-cites->paper1769402780
            	-cites->paper2051789131
            	-cites->paper2054739713
            	-cites->paper2101939036
            	-cites->paper2107642570
            	-cites->paper2152390090
            	-cites->paper2176864362
            	-cites->paper2177772636
            	-authors->author2133412819
            	-authors->author685665164
            }
	paper2115904912:Paper {
                .title : "On formal requirements modeling languages RML revisited"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue5
            	-cites->paper1979290877
            	-cites->paper2006210705
            	-cites->paper2017739343
            	-cites->paper2054097655
            	-cites->paper2067126923
            	-cites->paper2079814255
            	-cites->paper2117870171
            	-cites->paper2120808515
            	-cites->paper2127614394
            	-cites->paper2139907081
            	-cites->paper2162178624
            	-cites->paper2170486381
            	-authors->author2100751788
            	-authors->author2161153869
            	-authors->author2052199646
            }
	paper2120515675:Paper {
                .title : "A graphical environment for formally developing objectoriented software"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue2906
            	-cites->paper1583095677
            	-cites->paper1970495662
            	-cites->paper2170486381
            	-authors->author2974386072
            	-authors->author2116990958
            	-authors->author213503041
            }
	paper2120808515:Paper {
                .title : "Understanding why in software process modelling analysis and design"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue5
            	-cites->paper2017739343
            	-cites->paper2079814255
            	-cites->paper2162178624
            	-cites->paper2338335491
            	-authors->author2159496315
            	-authors->author2161153869
            }
	paper2120820661:Paper {
                .title : "Comparing and synthesizing integrity checking methods for deductive databases"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1395
            	-cites->paper181078895
            	-cites->paper190622319
            	-cites->paper2075950442
            	-cites->paper2099805467
            	-cites->paper2119295867
            	-authors->author2428327919
            	-authors->author2427702211
            	-authors->author1996835342
            	-authors->author2114300913
            }
	paper2125680420:Paper {
                .title : "Subcontract a flexible base for distributed programming"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue99
            	-cites->paper1991494135
            	-cites->paper2131929623
            	-authors->author2974335383
            	-authors->author2118768225
            	-authors->author2302375390
            }
	paper2125930899:Paper {
                .title : "Session guarantees for weakly consistent replicated data"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue2996
            	-cites->paper1515932031
            	-cites->paper1525865893
            	-cites->paper1973501242
            	-cites->paper2009312542
            	-cites->paper2038562061
            	-cites->paper2043671329
            	-cites->paper2048071586
            	-cites->paper2116142433
            	-cites->paper2123737479
            	-cites->paper2126356880
            	-cites->paper2156027558
            	-authors->author2795421043
            	-authors->author2643266344
            	-authors->author2280432649
            	-authors->author2778312396
            	-authors->author2307956062
            	-authors->author2647382534
            }
	paper2129559874:Paper {
                .title : "An analysis of the requirements traceability problem"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue2505
            	-cites->paper2054097655
            	-cites->paper2127509644
            	-authors->author2985020188
            	-authors->author2557919385
            }
	paper2143161716:Paper {
                .title : "Causally ordering broadcast protocol"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue770
            	-cites->paper1973501242
            	-cites->paper1985349143
            	-authors->author2140359775
            	-authors->author2120372136
            }
	paper2144956041:Paper {
                .title : "A Markov chain model for statistical software testing"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1331
            	-authors->author2974796808
            	-authors->author2974304329
            }
	paper2147880466:Paper {
                .title : "Requirements specification for processcontrol systems"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1331
            	-cites->paper2096039823
            	-cites->paper2107232214
            	-cites->paper2110425399
            	-cites->paper2117834984
            	-cites->paper2155891457
            	-authors->author2150992688
            	-authors->author2629906694
            	-authors->author2974153273
            	-authors->author2001238367
            }
	paper2152228029:Paper {
                .title : "Achieving software quality with testing coverage measures"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1073
            	-authors->author2227744130
            	-authors->author2100038474
            	-authors->author2101604183
            }
	paper2156127351:Paper {
                .title : "Effect of test set size and block coverage on the fault detection effectiveness"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue52
            	-cites->paper2158535304
            	-authors->author2150536169
            	-authors->author2100038474
            	-authors->author2963305705
            	-authors->author2101604183
            }
	paper2163494375:Paper {
                .title : "View integration a step forward in solving structural conflicts"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue1775
            	-authors->author2973636490
            	-authors->author2571324842
            }
	paper2165065735:Paper {
                .title : "POLICY DRIVEN MANAGEMENT FOR DISTRIBUTED SYSTEMS"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue3672
            	-cites->paper2102398950
            	-cites->paper2152505375
            	-authors->author1996292137
            }
	paper2167970334:Paper {
                .title : "StretchASketch a dynamic diagrammer"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue2879
            	-cites->paper2153360297
            	-authors->author2155651480
            }
	paper2171352284:Paper {
                .title : "Metadata update performance in file systems"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue330
            	-cites->paper2005373714
            	-cites->paper2115600841
            	-authors->author127822908
            	-authors->author2791808
            }
	paper2911767655:Paper {
                .title : "Personal Communications"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue4083
            	-authors->author2913590526
            }
	paper1532597100:Paper {
                .title : "Information modeling an objectoriented approach"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue0
            	-authors->author2579331936
            	-authors->author2973924918
            }
	paper2064707938:Paper {
                .title : "The Rendezvous architecture and language for constructing multiuser applications"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue4234
            	-authors->author1892824993
            	-authors->author2607469529
            	-authors->author2609358441
            	-authors->author69785992
            	-authors->author2147674134
            }
	paper2117870171:Paper {
                .title : "Inconsistency handling in multiperspective specifications"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue587
            	-cites->paper1938613683
            	-cites->paper1976303542
            	-cites->paper1979290877
            	-cites->paper2054097655
            	-cites->paper2294967233
            	-authors->author2207023792
            	-authors->author2082763392
            	-authors->author2105909224
            	-authors->author2623494704
            	-authors->author2095806276
            }
	paper2134342348:Paper {
                .title : "Tcl and the Tk Toolkit"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue0
            	-authors->author270493864
            }
	paper2167830984:Paper {
                .title : "Metrics and Models in Software Quality Engineering"
            	.year : 1994
            	.core : false
            	.relevance:false
            	-venue->venue0
            	-authors->author2675831383
            }
}