Specware swMATH ID: 11715 Software Authors: Srinivas, Y., Jullig, R.; Waldiger, R. Description: Specware is a software engineering tool that automatically generates high-assurance software. Specware is a leading-edge automated software development system that allows users to precisely specify the desired functionality of their applications and to generate provably correct code based on these requirements. At the core of the design process in Specware lies stepwise refinement, in which users begin with a simple, abstract model of their problem and iteratively refine this model until it uniquely and concretely describes their application. Homepage: http://www.specware.org/doc.html Related Software: PVS; Nuprl; CASL; Maude; Isabelle; TPS; Mathematica; MMT; Hets; SysML; AutoFilter; SIMPLIFY; SciNapse; Isabelle/HOL; TAME; Verified Prover; Archive Formal Proofs; EROS; Kit; NQTHM Cited in: 25 Documents all top 5 Cited by 44 Authors 3 Healy, Michael J. 2 Kreitz, Christoph 2 Williamson, Keith 1 Allen, Stuart F. 1 Andrews, Peter B. 1 Bijan, Yvonne 1 Bishop, Matthew 1 Brown, Chad Edward 1 Caudell, Thomas P. 1 Coglio, Alessandro 1 Colvin, Robert J. 1 Constable, Robert Lee 1 Durán, Francisco 1 Eaton, Richard 1 Ehrig, Hartmut 1 Eusterbrock, Jutta 1 Flener, Pierre 1 Garcia, Alex M. 1 Gibbons, Jeremy 1 Graves, Henson 1 Große-Rhode, Martin 1 Haeusler, Edward Hermann 1 Hall, Robert J. 1 Hayes, Ian J. 1 Johnsen, Einar Broch 1 Klein, Gerwin 1 Kovalëv, Sergeĭ Protasovich 1 Kovalyov, Serge P. 1 Leuştean, Laurenţiu 1 Lorigo, Lori 1 Lüth, Christoph 1 Macedo, Hugo Daniel 1 Meseguer Guaita, José 1 Oriat, Catherine 1 Rabe, Florian 1 Roşu, Grigore 1 Sharoda, Yasmine 1 Smith, Douglas R. 1 Strooper, Paul A. 1 Tomasik, Jerzy 1 Venkatesan, Ram Prasad 1 Weyman, Jerzy M. 1 Whittle, Jon 1 Wolter, Uwe E. all top 5 Cited in 10 Serials 2 Theoretical Computer Science 2 2 Annals of Mathematics and Artificial Intelligence 1 Neural Networks 1 Automation and Remote Control 1 Applied Categorical Structures 1 Journal of Mathematical Sciences (New York) 1 Journal of Functional Programming 1 Concurrency and Computation: Practice & Experience 1 Sādhanā all top 5 Cited in 6 Fields 23 Computer science (68-XX) 4 Category theory; homological algebra (18-XX) 2 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year