By the same authors

  • Magnetic reconnection driven by electron dynamics

    Kuramitsu, Y., Moritaka, T., Sakawa, Y., Morita, T., Sano, T., Koenig, M., Gregory, C. D., Woolsey, N., Tomita, K., Takabe, H., Liu, Y. L., Chen, S. H., Matsukiyo, S. & Hoshino, M., 30 Nov 2018

    Article in Nature Communications

  • Overview of MAST results

    Chapman, I. T., Adamek, J., Akers, R. J., Allan, S., Appel, L., Asunta, O., Barnes, M., Ayed, N. B., Bigelow, T., Boeglin, W., Bradley, J., Brünner, J., Cahyna, P., Carr, M., Caughman, J., Cecconello, M., Challis, C., Chapman, S., Chorley, J., Colyer, G. & 124 others, Conway, N., Cooper, W. A., Cox, M., Crocker, N., Crowley, B., Cunningham, G., Danilov, A., Darrow, D., Dendy, R., Diallo, A., Dickinson, D., Diem, S., Dorland, W., Dudson, B., Dunai, D., Easy, L., Elmore, S., Field, A., Fishpool, G., Fox, M., Fredrickson, E., Freethy, S., Garzotti, L., Ghim, Y. C., Gibson, K., Graves, J., Gurl, C., Guttenfelder, W., Ham, C., Harrison, J., Harting, D., Havlickova, E., Hawke, J., Hawkes, N., Hender, T., Henderson, S., Highcock, E., Hillesheim, J., Hnat, B., Holgate, J., Horacek, J., Howard, J., Huang, B., Imada, K., Jones, O., Kaye, S., Keeling, D., Kirk, A., Klimek, I., Kocan, M., Leggate, H., Lilley, M., Lipschultz, B., Lisgo, S., Liu, Y. Q., Lloyd, B., Lomanowski, B., Lupelli, I., Maddison, G., Mailloux, J., Martin, R., McArdle, G., McClements, K., McMillan, B., Meakins, A., Meyer, H., Michael, C., Militello, F., Milnes, J., Morris, A. W., Motojima, G., Muir, D., Nardon, E., Naulin, V., Naylor, G., Nielsen, A., O'Brien, M., O'Gorman, T., Ono, Y., Oliver, H., Pamela, S., Pangione, L., Parra, F., Patel, A., Peebles, W., Peng, M., Perez, R., Pinches, S., Piron, L., Podesta, M., Price, M., Reinke, M., Ren, Y., Roach, C., Robinson, J., Romanelli, M., Rozhansky, V., Saarelma, S., Sangaroon, S., Saveliev, A., Scannell, R., Schekochihin, A., Sharapov, S., Sharples, R., Shevchenko, V., Silburn, S., Simpson, J., Storrs, J., Takase, Y., Tanabe, H., Tanaka, H., Taylor, D., Taylor, G., Thomas, D., Thomas-Davies, N., Thornton, A., Turnyanskiy, M., Valovic, M., Vann, R., Walkden, N., Wilson, H., Wyk, L. V., Yamada, T. & Zoletnik, S., 19 Jun 2015

    Article in Nuclear Fusion

  • A meta-analysis of Hodgkin lymphoma reveals 19p13.3 TCF3 as a novel susceptibility locus

    Cozen, W., Timofeeva, M. N., Diepstra, A., Hazelett, D., Delahaye-Sourdeix, M., Edlund, C. K., Franke, L., Rostgaard, K., Van Den Berg, D. J., Cortessis, V. K., Smedby, K. E., Glaser, S. L., Westra, H. J., Robison, L. L., Mack, T. M., Ghesquieres, H., Hwang, A. E., Nieters, A., De Sanjose, S., Lightfoot, T. & 46 others, Becker, N., Maynadie, M., Foretova, L., Roman, E., Benavente, Y., Rand, K. A., Nathwani, B. N., Glimelius, B., Staines, A., Boffetta, P., Link, B. K., Kiemeney, L., Ansell, S. M., Bhatia, S., Strong, L. C., Galan, P., Vatten, L., Habermann, T. M., Duell, E. J., Lake, A., Veenstra, R. N., Visser, L., Liu, Y., Urayama, K. Y., Montgomery, D., Gaborieau, V., Weiss, L. M., Byrnes, G., Lathrop, M., Cocco, P., Best, T., Skol, A. D., Adami, H. O., Melbye, M., Cerhan, J. R., Gallagher, A., Taylor, G. M., Slager, S. L., Brennan, P., Coetzee, G. A., Conti, D. V., Onel, K., Jarrett, R. F., Hjalgrim, H., Van Den Berg, A. & McKay, J. D., 12 Jun 2014

    Article in Nature Communications

  • Tuning dirac states by strain in the topological insulator Bi2 Se3

    Liu, Y., Li, Y. Y., Rajput, S., Gilks, D., Lari, L., Galindo, P. L., Weinert, M., Lazarov, V. K. & Li, L., Apr 2014

    Article in Nature Physics

  • SABRE: A bio-inspired fault tolerant electronics architecture.

    Bremner, P., Liu, J., Samie, M., Dragffy, G., Pipe, T., Tempesti, G., Timmis, J. & Tyrrell, A., Mar 2013

    Article in Bioinspiration and Biomimetics

From the same journal

A FORMAL REQUIREMENTS SPECIFICATION METHOD BASED ON DATA-FLOW ANALYSIS

Research output: Contribution to journal › Article

Author(s)

Department/unit(s)

Publication details

JournalJournal of Systems and Software
DatePublished - May 1993
Issue number2
Volume21
Number of pages9
Pages (from-to)141-149
Original languageEnglish

Abstract

As formal methods are increasingly used in the development of industrial-scale software systems, there is a growing awareness of the need to integrate formal notations with existing structured software development methods. To make requirements analysis both comprehensible and rigorous, a formal requirements specification method is proposed that combines and extends DeMarco data flow diagrams with the Vienna development method. The specifications produced using this method have good readability, a well-designed structuring mechanism, and precise semantics. This article details work toward development of a verified analysis approach based on the concept of consistency checking for guaranteeing the correctness of analysis steps.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data