Search results for "specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Wolfgang Bibel, Klaus P. Jantke (eds.)	Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985	Mathematical Methods of Specification and Synthesis of Software Systems	1986	DBLP DOI BibTeX RDF
26	Robert P. Daley	Inductive inference hierarchies: probabilistic vs pluralistic strategies.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Zdzislaw Habasinski	Decidability in Pratt's process logics.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Takeshi Shinohara	Some problems on inductive inference from positive data.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Bernhard Thalheim	Deductive normal forms of relations.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Steffen Lange	A program synthesis algorithm exemplified.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Enn Tyugu	Language and example of knowledge-based programming.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Helena Rasiowa, Andrzej Skowron	Approximation logic.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Sergei S. Goncharov, Dmitri Ivanovich Sviridenko	Theoretical aspects of Sigma-programming.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Klaus P. Jantke	An algebraic framework for inductive program synthesis.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Werner Dilger, Wolfgang Womann	The METANET. A knowledge representation tool based on abstract data types.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Ognian Botusharov	Learning on the basis of a polynomial pattern synthesis algorithm.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Dieter Pötschke	Formalizing analogical reasoning.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Jan A. Bergstra, Jan Willem Klop	Verification of an alternating bit protocol by means of process algebra.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Rolf Wiehagen	How fast is program synthesis from examples.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Christian Posthoff, Joachim Reiß	The solution of discrete problems by means of ternary representation.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Tamás Gergely, Konstantin Vershinin	Natural mathematical texts vs. programs.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Marek Ejsmont	One more property of array languages.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Péter Komjáth, Zsolt Mihály Szabó	Orientation problems on sequences by recursive functions.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Gisela Schäfer	Some results in the theory of effective program synthesis: learning by defective information.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Thomas Zeugmann	On recursive optimizers.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Wolfgang Bibel	Predicative programming revisited.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
26	Jørgen Staunstrup (eds.)	Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981	Program Specification	1982	DBLP DOI BibTeX RDF
26	James J. Horning	Issues and Observations.	Program Specification	1981	DBLP DOI BibTeX RDF
26	Herbert Klaeren	Recursive Definitions of Operations in Universal Algebras.	Program Specification	1981	DBLP DOI BibTeX RDF
26	Deepak Kapur, David R. Musser, Alexander A. Stepanov 0001	Tecton: A Language for Manipulating Generic Objects.	Program Specification	1981	DBLP DOI BibTeX RDF
26	Leif Sandegaard Nielsen, Ib Holm Sørensen	Communication Network.	Program Specification	1981	DBLP DOI BibTeX RDF
26	Jørgen Staunstrup	Introduction.	Program Specification	1981	DBLP DOI BibTeX RDF
26	Leif Sandegaard Nielsen	Concurrency.	Program Specification	1981	DBLP DOI BibTeX RDF
26	John V. Guttag	A few Remarks on Putting Formal Specifications to Productive Use.	Program Specification	1981	DBLP DOI BibTeX RDF
26	Jørgen Staunstrup, Joseph A. Goguen	Geometrical Constructions.	Program Specification	1981	DBLP DOI BibTeX RDF
26	Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen	KWIC-index generation.	Program Specification	1981	DBLP DOI BibTeX RDF
26	Helmut K. Berg, Wolfgang K. Giloi (eds.)	The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany	The Use of Formal Specification of Software	1980	DBLP DOI BibTeX RDF
26	Donald L. Boyd, Antonio Pizzarello, William T. Wood	Abstraction and Refinement in RDM.	The Use of Formal Specification of Software	1979	DBLP DOI BibTeX RDF
26	Helmut K. Berg, William R. Franta, Thomas G. Moher	Correctness of Software - An Overview.	The Use of Formal Specification of Software	1979	DBLP DOI BibTeX RDF
26	Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg	Writing Simulatable Specifications in SPECIAL.	The Use of Formal Specification of Software	1979	DBLP DOI BibTeX RDF
26	Donald L. Boyd, Antonio Pizzarello, William T. Wood	An Overview of RDM: Rational Design Methodology.	The Use of Formal Specification of Software	1979	DBLP DOI BibTeX RDF
26	Helmut K. Berg	Towards a Uniform Design Methodology for Software, Firmware, and Hardware.	The Use of Formal Specification of Software	1979	DBLP DOI BibTeX RDF
26	Mark Moriconi	Interactive Design and Verification: A Message Switching Network Example.	The Use of Formal Specification of Software	1979	DBLP DOI BibTeX RDF
25	Martin C. Henson, Steve Reeves	Revising Z: Part II - Logical Development.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Specification language Z, Logics of specification languages, Semantics of specification languages
25	Martin C. Henson, Steve Reeves	Revising Z: Part I - Logic and Semantics.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Specification language Z, Logics of specification languages, semantics of specification languages
25	Anthony M. Sloane	Generating Dynamic Program Analysis Tools.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	dynamic program analysis tool generation, instrumentation based systems, analysis algorithm specification, implicit storage allocation, automatic sequencing, Wyong system, analysis module specification, Eli compiler generation system, ATOM program instrumentation system, instrumentation code, ATOM instrumented binary, specification based method, instrumentation based implementation, automatic programming, attribute grammars, data sources, dynamic structure
25	Carl K. Chang, Yi-Te Tseng, Ugo A. Buy	Compiling process algebraic specifications into timed automata.	COMPSAC	1997	DBLP DOI BibTeX RDF	Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems
25	Miroslav Svéda	Embedded system design: a case study.	ECBS	1996	DBLP DOI BibTeX RDF	pumps, embedded distributed systems, dispenser control, local time concept, system-wide global clock, environment specification, system functional specification, logical structure description, petrol pumping station, explosion danger, uncontrolled petrol flow, real-time systems, formal specification, prototyping, distributed processing, controller, implementation, systems analysis, synchronisation, flow control, safety critical system, clocks, distributed control, software prototyping, safety-critical software, embedded system design, counter, control system CAD
25	Lara D. Catledge, Colin Potts	Collaboration during conceptual design.	ICRE	1996	DBLP DOI BibTeX RDF	representative industrial software project, Centauri, follow up observations, documented specification, common system vision, critical allocation, interface design decisions, prescriptive development process, working product, collaboration, communication, formal specification, human factors, project management, requirements analysis, software development management, architectural design, conceptual design, research methodology, functional specification, project teams, project team
25	Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier	ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications.	HPDC	1996	DBLP DOI BibTeX RDF	protocol compiler, ALFred, end-to-end communication functions, high performance implementation, control compiler, ALF compiler, data manipulation compiler, ILP compiler, high performance communication architectures, formal specification, formal specification, protocols, distributed processing, specification languages, software design, distributed applications, program compilers, software performance evaluation, software prototyping, software prototyping, ESTEREL, communication architecture, data handling
25	José Ramón González de Mendívil, Akim Demaille, José M. Bernabéu-Aubán, José Ramón Garitagoitia	Correctness of a distributed deadlock resolution algorithm for the single request model.	PDP	1995	DBLP DOI BibTeX RDF	distributed deadlock resolution algorithm, single request model, resolution algorithm, initial specification, complete distributed system, Input/Output Automata Model, formal specification, distributed algorithms, concurrency control, refinements, operating systems (computers), automata theory, high level specification
25	Simon N. Foley, Jeremy Jacob	Specifying security for CSCW systems.	CSFW	1995	DBLP DOI BibTeX RDF	confidentiality security, formal specification, formal specification, specification, groupware, safety, security of data, functionality, CSCW systems
25	Douglas Niehaus, John A. Stankovic, Krithi Ramamritham	A real-time system description language.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time system description language, system design specification, automatic calculation, automatic analysis environment, design and analysis environment, specification changes, layered abstractions, concealed implementation details, timing correctness, robotic pick-and-place circuit board assembly, distributed real-time scheduling simulation, ease of modification, automatic loading, real-time systems, timing, specification languages, timing analysis, SDL, automatic linking, flexible manufacturing
25	Guijun Wang, Allen L. Ambler	Invocation Polymorphism.	VL	1995	DBLP DOI BibTeX RDF	invocation polymorphism, general specification, intelligent analysis process, visual interactive programming style, formal specification, knowledge based systems, programming languages, visual programming, visual programming, visual languages, ambiguities, programming theory, interactive programming, specification refinement
25	Susan M. Üsküdarli, T. B. Dinesh	Towards a Visual Programming Environment Generator for Algebraic Specifications.	VL	1995	DBLP DOI BibTeX RDF	visual programming environment generator, special purpose languages, formally specified languages, picture definition language, VODL, language syntax, visual editors, formal specification, software tools, visual programming, visual languages, visual languages, algebraic specification, algebraic specifications, visual specification
25	Michelle M. Hugue, Richard C. Scalzo	Specifying fault tolerance in large complex computing systems.	ICECCS	1995	DBLP DOI BibTeX RDF	fault tolerance specification, large complex computing systems, requirements specification phase, fault hypothesis, partially correct system, system fault hypothesis, health management function, performance, real-time systems, reliability, formal specification, integrity, fault tolerant computing, software reliability, availability, safety, confidentiality, software performance evaluation, maintainability, timeliness, quality of service requirements, system behaviors, system life-cycle, dependability constraints
25	Pam Binns, Steve Vestal	Architecture specifications for complex real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications
25	Yabo Wang, David Lorge Parnas	Simulating the Behavior of Software Modules by Trace Rewriting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	software module behavior simulation, trace rewriting, trace assertion method, module interface specification method, specification simulation tool, trace simulator, trace specifications, trace rewriting systems, trace simulation, simulation, formal specification, finite state machines, digital simulation, term rewriting, rewriting systems, finite state machine model
25	Robert E. Fields, Morten Elvang-Gøransson	A VDM Case Study in mural.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	interactive theorem-proving assistant, specification support tool, mural, verification, formal specification, specification, software tools, theorem proving, program verification, interactive systems, VDM, Vienna development method
25	Xavier Nicollin, Joseph Sifakis, Sergio Yovine	Compiling Real-Time Specifications into Extended Automata.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
25	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
25	Roy S. Freedman	Testability of Software Components.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	domain testability, domain-testable program, input-output inconsistencies, small test sets, test outputs, domain-testable specification, nondomain-testable specification, formal specification, controllability, software components, program testing, observability, program specifications
25	Robert V. Rubin, James Walker II, Eric J. Golin	Early Experience with the Visual Programmer's WorkBench.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Visual Programmer's WorkBench, customization of environments, PetriFSA language, abstract structure, formal specification, data structures, specification, synthesis, programming environments, program verification, specification languages, visual programming, visual languages, dynamic semantics, static semantics, distributed programming environment, syntactic structure
25	Geoff Barrett	Formal Methods Applied to a Floating-Point Number System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	floating-point number system, binary floating-point arithmetic, ANSI/IEEE Std. 754-1985, set-theoretic specification language, sequential components, unpack, operands, proven rules, mathematically rigorous method, Inmos IMS T800 transputer, formal specification, formal methods, specification languages, digital arithmetic, Z, formalization, round, pack, program development, IEEE standard, floating-point unit, internal representations
25	Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque	Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification.	DSV-IS	2006	DBLP DOI BibTeX RDF
25	Tim Menzies	The Complexity of TRMCS-like Spiral Specification.	IWSSD	2000	DBLP BibTeX RDF
25	Kasilingam Periyasamy, Vangalur S. Alagar	Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems.	WIFT	1998	DBLP DOI BibTeX RDF
25	Kouichi Wada 0001, Kenichi Hagihara, Toshiro Araki, Nobuki Tokura	Specification of schedulers with algebraic specification techniques.	Operating Systems Engineering	1980	DBLP DOI BibTeX RDF
24	Charles André, Frédéric Mallet	Specification and verification of time requirements with CCSL and Esterel.	LCTES	2009	DBLP DOI BibTeX RDF	synchronous languages, uml, marte, time model
24	Mohammad Feroz Raihan, Mohammad Zulkernine	Detecting Intrusions Specified in a Software Specification Language.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
24	Roger Duke, Tim Miller, Paul A. Strooper	Integrating Formal Specification and Software Verification and Validation.	TFM	2004	DBLP DOI BibTeX RDF
24	Roswitha Bardohl, Claudia Ermel, Julia Padberg	Transforming Specification Architectures by GenGED.	ICGT	2002	DBLP DOI BibTeX RDF
24	Raimondas Lencevicius, Alexander Ran, Rahav Yairi	Third eye - specification-based analysis of software execution traces (poster).	ICSE	2000	DBLP DOI BibTeX RDF
24	Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida	Component-Based Algebraic Specification and Verification in CafeOBJ.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
24	James R. Slagle, David A. Gardiner, Kyungsook Han	Knowledge Specification of an Expert System.	IEEE Expert	1990	DBLP DOI BibTeX RDF
24	Alfons Geser	A Specification of the intel 8085 Microprocessor: A Case Study.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
24	Leila Jemni Ben Ayed, Fatma Siala	Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.	DSV-IS	2008	DBLP DOI BibTeX RDF	Multi-Agent System, verification, specification, Event B, AUML
24	Pavlína Vareková, Barbora Zimmerová	Subject-observer specification with component-interaction automata.	SAVCBS	2007	DBLP DOI BibTeX RDF	dynamic number of components, verification, specification, component-based systems, software modelling, finite-state systems
24	Martin Glinz	Problems and Deficiencies of UML as a Requirements Specification Language.	IWSSD	2000	DBLP BibTeX RDF	model, UML, decomposition, use case, requirements specification
24	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
24	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
24	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
24	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
24	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
24	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
24	Frank Salger, Stefan Sauer 0001, Gregor Engels	Integrated specification and quality assurance for large business information systems.	ISEC	2009	DBLP DOI BibTeX RDF	quality assurance, software specification
24	Mari Carmen Suárez-Figueroa, Asunción Gómez-Pérez, Boris Villazón-Terrazas	How to Write and Use the Ontology Requirements Specification Document.	OTM Conferences (2)	2009	DBLP DOI BibTeX RDF	Ontology Requirements, Competency Questions, Ontology Requirements Specification and Methodologies
24	Christian Soltenborn, Gregor Engels	Towards Test-Driven Semantics Specification.	MoDELS	2009	DBLP DOI BibTeX RDF	Semantics specification, model checking, testing
24	Douglas Gorton, Weiguo Fan, Edward A. Fox	Specification and Generation of Digital Libraries into DSpace Using the 5S Framework.	ECDL	2007	DBLP DOI BibTeX RDF	5SL, digital libraries, specification, generation, 5S, DSpace
24	Andrea Arcuri, Xin Yao 0001	Coevolving programs and unit tests from their specification.	ASE	2007	DBLP DOI BibTeX RDF	formal specification, genetic programming, software testing, sorting, coevolution, automatic programming
24	K. P. Subramoney, Gerhard P. Hancke 0001	A Secure Web Service for Electricity Prepayment Vending in South Africa: A Case Study and Industry Specification.	ICIW	2007	DBLP DOI BibTeX RDF	Prepayment, Electricity Vending, Industry specification, Web Service, Interoperability, Client-server, Secure Socket layer
24	Naoki Yoshinaga 0001, Kentaro Torisawa	Finding specification pages according to attributes.	WWW	2006	DBLP DOI BibTeX RDF	attribute acquisition, specification finding, web search
24	Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough	Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations.	POPL	2006	DBLP DOI BibTeX RDF	specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
24	Artur Boronat, Joaquín Oriente, Abel Gómez 0001, Isidro Ramos, José A. Carsí	An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework.	ECMDA-FA	2006	DBLP DOI BibTeX RDF	OCL queries and invariants, MDA, metamodeling, algebraic specification
24	Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough	Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.	SIGCOMM	2005	DBLP DOI BibTeX RDF	specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
24	Paula Gouveia, Jaime Ramos	Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	specification, multi-agents, certification, knowledge, abduction, situation calculus
24	Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Daniel Pak-Kong Lun	Precise Specification to Compound Patterns with ExLePUS.	COMPSAC	2003	DBLP DOI BibTeX RDF	Compound Patterns, ExLePUS, LePUS, Formal Specification, Design Patterns
24	Elena Troubitsyna	Integrating Safety Analysis into Formal Specification of Dependable Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	failure mode and effect analysis, formal specification, statecharts, actions systems
24	Stephen S. Yau, Yu Wang 0015, Dazhi Huang, Hoh Peter In	Situation-Aware Contract Specification Language for Middleware for Ubiquitous Computing.	FTDCS	2003	DBLP DOI BibTeX RDF	Situation-Aware Contract Specification Language (SA-CSL), Reconfigurable Context-Sensitive Middleware (RCSM), security, Quality of Service (QoS), Ubiquitous computing, real time, middleware, situation-awareness, Aspect-Oriented Software Development (AOSD)
24	Jessica Chen, Suganthan Subramaniam	Specification-based Testing for Gui-based Applications.	Softw. Qual. J.	2002	DBLP DOI BibTeX RDF	java AWT and swing, finite state machines, specification-based testing, capture/replay
24	Guido Wimmel, Jan Jürjens	Specification-Based Test Generation for Security-Critical Systems Using Mutations.	ICFEM	2002	DBLP DOI BibTeX RDF	E-Commerce Systems, Security-Critical Systems, Validation and Analysis, Computer-aided Software Engineering (CASE), Formal Methods, Test Case Generation, Test Specification, AutoFocus
24	Beum-Seuk Lee, Barrett R. Bryant	Automated conversion from requirements documentation to an object-oriented formal specification language.	SAC	2002	DBLP DOI BibTeX RDF	contextual natural language processing, object-oriented software specification, XML, Vienna development method, two-level grammar
24	Kresimir Fertalj, Damir Kalpic, Vedran Mornar	Source Code Generator Based on a Proprietary Specification Language.	HICSS	2002	DBLP DOI BibTeX RDF	specification language, CASE, application generator
24	Toshiaki Arai, Frieder Stolzenburg	Multiagent systems specification by UML statecharts aiming at intelligent manufacturing.	AAMAS	2002	DBLP DOI BibTeX RDF	design implementation, methodologies for specification, robotic soccer (RoboCup), validation standards for agents and multiagent systems, unified modeling language, multiagent systems, statecharts, agent-based software engineering, intelligent manufacturing