Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

Executable specifications and CASE

Executable specifications and CASE

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Add to cart
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)
Add to cart

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
Software Engineering Journal — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

© The Institution of Electrical Engineers
Published

The idea of executing graphical system models is not new. Several accounts of research in this area are well documented. Despite this, such research is still in its infancy, particularly in relation to CASE environments and the practical application of ideas. The paper considers executability within CASE, with a focus on executable specifications. The importance of executability is highlighted, and some of the work in the field is noted. An experimental executable specification tool is presented. The final conclusions drawn take a look into the envisaged future of executability in CASE.

Inspec keywords: software tools; visual programming; formal specification; program compilers

Other keywords: executable specification tool; CASE; executable specifications; executability; CASE environments; graphical system models

Subjects: Programming support; Compilers, interpreters and other processors; Software engineering techniques

References

    1. 1)
      • D. Harel . On visual formalism. Commun. ACM , 5 , 514 - 530
    2. 2)
      • D. Harel , H. Lachover , A. Naamad , A. Pnueli , M. Politi , R. Sherman , A. Shtull-Trauring , M. Trakhtenbrot . Statemate: a working environment for the development of complex reactive systems. IEEE Trans. , 4 , 403 - 414
    3. 3)
      • Pulli, P.J.: `Real time pattern matching technique for executable sa/rt specifications', Proc. COMPEURO '90: IEEE Int Conf. on Computer Systems and Software Engineering, 8–9 May 1990, IEEE Computer Society Press, , p. 288–295, Tel-Aviv, Israel.
    4. 4)
      • Alabiso, B.: `Transformation of data flow analysis models to object oriented design', OOPSLA '88 Proc., September 1988, p. 335–353.
    5. 5)
      • Alderson, A.: `Meta-case technology', Proc. Software Development Environments and CASE Technology Conf., June 1991, European Symposium, .
    6. 6)
      • P. Ward , S. Mellor . (1985) , Structured development for real-time systems.
    7. 7)
      • I. Sommerville . (1992) , Software engineering.
    8. 8)
      • Pulli, P.J.: `An object oriented approach to distributed prototype execution of sa/rt specifications', Proc. Structured Techniques Assoc. Conf. STA5, May 1989, University of Chicago, .
    9. 9)
      • R.J. Lea , C.-G. Chung . Rapid prototyping from structured analysis: executable specification approach. Inform. Softw. Technol. , 9 , 589 - 597
    10. 10)
      • N.E. Fuchs . Specifications are (preferably) executable. Softw. Eng. J. , 5 , 323 - 334
    11. 11)
      • D. Hatley , I. Pirbhai . (1987) , Strategies for real-time system specification.
    12. 12)
      • P.T. Ward . How to integrate object orientation with structured analysis and design. IEEE Softw. , 74 - 82
    13. 13)
      • D.G. Evans , D. Morris , J. Rozenblit , K. Buchenrieder . (1994) Applying modelling to embedded computer systems design, CODesign: computer aided software hardware engineering.
    14. 14)
      • P.T. Ward . The transformation schema: an extension of the data flow diagram to represent control and timing. IEEE Trans. , 2 , 198 - 210
    15. 15)
      • Reilly, E.L., Brackett, J.W.: `An experimental system for executing real-time structured analysis models', Proc. 12th Structured Methods Conf.: SMC XII, August 1987, , p. 301–313.
    16. 16)
      • A. Harbert , W. Lively , S. Sheppard . A graphical specification system for user-interface design. IEEE Softw. , 12 - 20
    17. 17)
      • G. Tate . Prototyping: helping to build the right software. Inform. Softw. Technol. , 4 , 237 - 244
    18. 18)
      • P. Pulli , J. Dahler , H.P. Gisiger , A. Kundig . (1988) Execution of ward's transformation schema on the graphic specification and prototyping tool specs, COMPEURO '88—Systems Design, Concepts, Methods and Tools.
    19. 19)
      • M.D. Fraser , K. Kumar , V.K. Vaishnavi . Informal and formal requirements specification languages: bridging the gap. IEEE Trans. , 5 , 454 - 466
    20. 20)
      • Gaskell, C., Phillips, R.: `A graphical formalism for executable specification', 92/15, Technical Report, May 1992.
    21. 21)
      • A. Burns , J.A. Kirkham . The construction of information management system prototypes in Ada. Softw. Pract. Exp. , 4 , 341 - 350
    22. 22)
      • D. Harel . Biting the silver bullet. IEEE Comput. , 8 - 20
    23. 23)
      • Haskell special issue. SIGPLAN Not. , 5
    24. 24)
      • Thompson, S.: `Functional programming: executable specifications and program transformation', Proc. 5th Int IEEE Computer Society and ACM SIGSOFT, May 1989, Workshop on Software Specification and Design, , p. 287–290.
    25. 25)
      • P. Haine , K. Spurr , P. Layzell . (1990) Case support for the whole life cycle, CASE on trial.
    26. 26)
      • T. Demarco . (1978) , Structured analysis and system specification.
http://iet.metastore.ingenta.com/content/journals/10.1049/sej.1994.0023
Loading

Related content

content/journals/10.1049/sej.1994.0023
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
Print this page
This is a required field
Please enter a valid email address