Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Z (Computer program language)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

discrete structures --- Formal methods --- Predicate Calculus --- Software engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.

Computer software --- Logiciels --- Development --- Congresses --- Développement --- Congrès --- Développement --- Congrès --- Computer software - Development - Congresses. --- Software engineering. --- Computer science. --- Logic design. --- Information technology. --- Software Engineering/Programming and Operating Systems. --- Computer Applications. --- Programming Techniques. --- Software Engineering. --- Logics and Meanings of Programs. --- IT in Business. --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Congresses.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software. The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler". Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques.

Computer programs --- Verification --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- Information Technology --- Computer Science (Hardware & Networks) --- Computer science. --- Software engineering. --- Logic design. --- Operating systems (Computers). --- Artificial intelligence. --- Programming Techniques. --- Software Engineering. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Operating Systems. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Operating systems --- Computer programming. --- Computer logic. --- Programming languages (Electronic computers). --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer science logic --- Logic, Symbolic and mathematical --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Formal methods (Computer science) --- Real-time data processing --- Méthodes formelles (Informatique) --- Temps réel --- Congresses. --- Congrès --- Björner, D. --- Zhou, Chaochen, --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Software Engineering --- Bjørner, D. --- Bjørner, Dines --- Bjørner, Dines, --- Chaochen, Zhou, --- Computer science. --- Computer organization. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer Systems Organization and Communication Networks. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Logic design. --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Chaochen, Zhou. --- Computer engineering. --- Computer networks. --- Machine theory. --- Computer Science Logic and Foundations of Programming. --- Computer Engineering and Networks. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computers --- Distributed processing --- Design and construction