Results 231 to 240 of about 1,590,113 (289)
Intrinsic Cause-Effect Power: The Tradeoff Between Differentiation and Specification. [PDF]
Entropy (Basel)Mayner WGP, Marshall W, Tononi G.
europepmc +1 more source
Defective EV-mediated transport of SHH alters neural fate specification in EPM1 epilepsy. [PDF]
Sci AdvForero A +17 more
europepmc +1 more source
Unpacking polycontextural complications: a reflexive systems-theoretical heuristic for tracing intersystemic implementation processes in education for sustainable development. [PDF]
Front SociolSchmalen S, Mühlenbrock N.
europepmc +1 more source
A Formal Framework for Formal Specifications Review
Conference Proceedings of Japan Society for Software Science and Technology, 2004 openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Integrating semi-formal and formal software specification techniques
Information Systems, 1998In this paper, we report on the integration of informal, semiformal and formal system specification techniques. We present a framework for system specification called TRADE, within which several well-known semiformal specification techniques are placed.
Eric Dubois
exaly +3 more sources
A formal specification of an oscilloscope
IEEE Software, 1990This case study presents the development of an abstract oscilloscope specification, using Z notation. A description is given of the problem and its context. An abstract model of an oscilloscope that clarifies its user-accessible functions is described. Issues that must be addressed to scale up this specification to deal with more complicated, realistic
Norman M. Delisle, David Garlan
openaire +2 more sources
Visualization of formal specifications
Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509), 2003Formal specification techniques provide precise and analyzable software specifications. However, the formal notations provided by most formal specification techniques are not easy to use and understand for most people. Our approach counters this difficulty by visualizing formal specifications.
Kim, Soon-Kyeong, Carrington, David
openaire +2 more sources
Proceedings of the Conference on The Future of Software Engineering, 2000
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited but has been steadily growing. After recalling the essence,role, usage, and pitfalls of formal specification, the paper reviews the main specification paradigms to date and ...
openaire +2 more sources
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited but has been steadily growing. After recalling the essence,role, usage, and pitfalls of formal specification, the paper reviews the main specification paradigms to date and ...
openaire +2 more sources