-
1دورية أكاديمية
المؤلفون: K. Willett, C. Williams, I. T. Jolliffe, R. Lund, L. V. Alexander, S. Brönnimann, L. A. Vincent, S. Easterbrook, V. K. C. Venema, D. Berry, R. E. Warren, G. Lopardo, R. Auchmann, E. Aguilar, M. J. Menne, C. Gallagher, Z. Hausfather, T. Thorarinsdottir, P. W. Thorne
المصدر: Geoscientific Instrumentation, Methods and Data Systems, Vol 3, Iss 2, Pp 187-200 (2014)
مصطلحات موضوعية: Geophysics. Cosmic physics, QC801-809
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: J. Pipitone, S. Easterbrook
المصدر: Geoscientific Model Development, Vol 5, Iss 4, Pp 1009-1022 (2012)
وصف الملف: electronic resource
-
3
-
4
المؤلفون: S. Easterbrook, M. Chechik
المصدر: Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ef111eaa17b6e59306d536718d5426d1
https://doi.org/10.1109/icse.2001.919157 -
5
المؤلفون: S. Easterbrook, M. Chechik
المصدر: Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d9cf3a31ae793e279d7f1895a23a06de
https://doi.org/10.1109/icse.2001.919114 -
6
المؤلفون: J.-M. Bruel, B. Cheng, S. Easterbrook, R. France, B. Rumpe
المصدر: WIFT
مصطلحات موضوعية: Programming language, Computer science, business.industry, Panel session, Design by contract, computer.software_genre, Formal methods, Application software, Formal specification, Graphical model, Software engineering, business, computer, Formal verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b25cde50b5b16d1beac91ea37825711a
https://doi.org/10.1109/wift.1998.766297 -
7
المؤلفون: S. Easterbrook, M. Chechik, B. Devereux, A. Gurfinkel, A. Lai, V. Petrovykh, A. Tafliovich, C. Thompson-Walsh
المصدر: 25th International Conference on Software Engineering, 2003. Proceedings..
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::530c72755fbf76febb31a03a9148f755
https://doi.org/10.1109/icse.2003.1201295 -
8
المؤلفون: S.E. Sim, S. Easterbrook, R.C. Holt
المصدر: 25th International Conference on Software Engineering, 2003. Proceedings..
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2455cadc557ee875ba8cb5c295b6fecd
https://doi.org/10.1109/icse.2003.1201189 -
9
المؤلفون: S. Easterbrook
المصدر: Proceedings of the 8th International Workshop on Software Specification and Design.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3897a24ec55d5efba41123a0d3f9f193
https://doi.org/10.1109/iwssd.1996.501155 -
10
المؤلفون: S. Easterbrook, J. Callahan, V. Wiels
المصدر: Proceedings Ninth International Workshop on Software Specification and Design.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d6e4f3fd59ba6b3a7edbbd5422fafad1
https://doi.org/10.1109/iwssd.1998.667918