Some Philosophical Issues in Computer Science
- 作者Amnon H. Eden
- 卷第21卷
- 期第2期
- 印刷ISSN0924-6495
- 电子ISSN1572-8641
- 文件大小130.16KB
- 发表时间2011-05
- DOI10.1007/s11023-011-9248-9
- 页码123-133
Specification Development (Lalanne/Specification Development) || Specification DevelopmentLalanne, Christian · 2014
Specification Development (Lalanne/Specification Development) || Influence of Calculation Conditions of SpecificationLalanne, Christian · 2014
An executable specification language for specification understanding in object-oriented specification reuseShih-Chien Chou; Jen-Yen Chen; Chyan-Goei Chung · 1996
Specification of a specification languageJ Ludewig · 1981
The specification of “specification”Derek Partridge; Antony Galton · 1995
Specification Development || Specification DevelopmentLalanne, Christian · 2009
Specification Development (Lalanne/Specification Development) || Front MatterLalanne, Christian · 2014
Specification Development (Lalanne/Specification Development) || Test FactorLalanne, Christian · 2014
Guidelines of care for alopecia areataDrake, Lynn A.; Ceilley, Roger I.; Cornelison, Raymond L.; Dobes, William L.; Dorner, William; Goltz, Robert W.; Lewis, Charles W.; Salasche, Stuart J.; Turner, Maria L. Chanco; Coskey, Ralph J.; Drake, Lynn A.; Hordinsky, Maria K.; Rosenberg, E. William; Solomon, Alvin R.; Turner, Maria L. Chanco · Journal of the American Academy of Dermatology · 1992
The Philosophy of Computer ScienceRaymond Turner; Amnon H. Eden · 2008
Strong poison revisitedRoger C. Prince; Jürgen Gailer; Diane E. Gunson; Raymond J. Turner; Graham N. George; Ingrid J. Pickering · 2007
Type inference for set theoryRaymond Turner · 2001
Logical foundations of nonmonotonic reasoningNadim Obeid; Raymond Turner · 1991
Counterfactuals without possible worldsRaymond Turner · 1981
Three theories of nominalized predicatesRaymond Turner · Studia Logica · 1985
Semantics and property theoryGennaro Chierchia; Raymond Turner · 1988