Search results for "specification language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Ramkumar V. Pichai, Joseph E. Urban	A technique for validating Booch object-oriented designs from extensions to the Descartes specification language. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	Booch object-oriented design validation, Descartes specification language, executable specification language, traceability approach, real time systems, software reliability, rapid prototyping, object-oriented methods, CASE tool, safety critical software, secure systems, software validation, high assurance systems
3	Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer	A grounded specification language for agent programs.	AAMAS	2007	DBLP DOI BibTeX RDF	agent specification language, agent programming language
3	Jing Sun 0002, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik	SVG Web Environment for Z Specification Language.	ICFEM	2005	DBLP DOI BibTeX RDF	Z formal specification language, Web based tool support, Scalable Vector Graphics
3	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)
3	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
3	Gwen Salaün, Michel Allemand, Christian Attiogbé	Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language.	APSEC	2001	DBLP DOI BibTeX RDF	Multi-formalism Specifications, Generic Combination, Algebraic Specification Language, Process Algebra, Operational Semantics
3	Luigia Carlucci Aiello, Fabio Massacci	An Executable Specification Language for Planning Attacks to Security Protocols. (PDF / PS)	CSFW	2000	DBLP DOI BibTeX RDF	Model Checking, Verification, Logic Programs, Planning, Specification Language, Security Protocols
3	Nancy G. Leveson	Completeness in formal specification language design for process-control systems.	FMSP	2000	DBLP DOI BibTeX RDF	completeness, process-control, Formal specification language
3	Hassan Gomaa, Shaoying Liu, Michael E. Shin	Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language.	ICECCS	2000	DBLP DOI BibTeX RDF	domain modeling method, families of systems, SOFL formal specification language, multiple view object oriented analysis model, aggregation hierarchies, generalization/specialization hierarchies, UML static modeling notation, object communication diagrams, SOFL condition data flow diagram notation, variant classes, specification languages, application domain
3	Charalampos Vassiliou, Panagiotis Kanellis, Drakoulis Martakos	Information Exchange for Effective Knowledge Management: A Translation Service Using Process Specification Language. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	effective knowledge management, translation service, process specification language, ontologies, data structure, business data processing, information exchange, data semantics, business network
3	K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel	Hybrid specification of control systems.	ICECCS	1995	DBLP DOI BibTeX RDF	control system development, hybrid specification, formal software specification language, multidisciplinary development, control models, ASTRAL specifications, MatLab software packages, discrete subsystems, continuous subsystems, robot control system, continuous system models, simulation, simulation, formal specification, robots, formal verification, formal verification, specification languages, specification language, control theory, control theory, system behavior, control system CAD, discrete time systems, continuous time systems
3	Farnam Jahanian, Aloysius K. Mok	Modechart: A Specification Language for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	Modechart, absolute timing, real-time clock, RTL formulas, RTL assertions, graphical implementation, SARTOR, real-time systems, real-time systems, semantics, specification languages, specification language, rapid prototyping, timing constraints, abstraction levels, logic programming languages, hierarchical organization, real-time logic
3	Daniel L. Kiskis, Kang G. Shin	SWSL: A Synthetic Workload Specification Language for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	SWSL, synthetic workload specification language, synthetic workload generator, executable synthetic workload, operation level, control constructs, synthetic operations, real-time workloads, performance evaluation, performance, real-time systems, real-time systems, formal specification, distributed processing, specification languages, distributed real-time systems, data flow graph, dependability measurements
3	Ted L. Briggs, John Werth	A Specification Language for Object-Oriented Analysis and Design.	ECOOP	1994	DBLP DOI BibTeX RDF	Object Types, Message-Passing, Specification Language, Object-Oriented Design, Object-Oriented Analysis, Object-Oriented Specification
3	Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang	A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	nonmonotonic Horn clause logic, formal requirement specification language, frame-and-rule oriented requirement specification language, FRORL, surface syntax, hierarchical relationships, formal specification, object oriented, knowledge representation, prototyping, specification languages, inheritance, reusability, frames, software development environment, C language, production rules, multiple inheritance, Horn clauses, logic programming languages, executability, hybrid knowledge representation
3	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
2	Gianpaolo Cugola, Alessandro Margara	TESLA: a formally defined event specification language.	DEBS	2010	DBLP DOI BibTeX RDF
2	Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä	The LIME Interface Specification Language and Runtime Monitoring Tool.	RV	2009	DBLP DOI BibTeX RDF
2	Marcello Balduccini	CR-Prolog as a Specification Language for Constraint Satisfaction Problems.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Jay Ligatti, Billy Rickey, Nalin Saigal	LoPSiL: A Location-Based Policy-Specification Language.	MobiSec	2009	DBLP DOI BibTeX RDF	Policy-specification languages, location-dependent policies, mobile devices, security and privacy
2	Serguei A. Mokhov, Emil Vassev	Autonomic specification of self-protection for distributed MARF with ASSL.	C3S2E	2009	DBLP DOI BibTeX RDF	autonomic system specification language (ASSL), distributed modular audio recognition framework (DMARF), pattern recognition, autonomic computing, self-protection
2	Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang	Symbolic model checking APSL.	Frontiers of Computer Science in China	2009	DBLP DOI BibTeX RDF	tableau approach, extended NuSMV, symbolic model checking, property specification language
2	Frédéric Mallet	Clock constraint specification language: specifying clock constraints with UML/MARTE.	ISSE	2008	DBLP DOI BibTeX RDF	Unified modeling language, Constraints, MARTE, Time model
2	A. K. Bhattacharjee, R. K. Shyamasundar	ScriptOrc: A Specification Language for Web Service Choreography.	APSCC	2008	DBLP DOI BibTeX RDF
2	Taro Kurita, Miki Chiba, Yasumasa Nakatsugawa	Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone.	FM	2008	DBLP DOI BibTeX RDF
2	Sebastian Steinhorst, Lars Hedrich	Model Checking of Analog Systems using an Analog Specification Language.	DATE	2008	DBLP DOI BibTeX RDF
2	Mohammad Reza Nami, Abbas Malekpour	Formal specification of a particular banking domain with RAISE specification language.	ISCC	2008	DBLP DOI BibTeX RDF
2	Peter Paul Beran, Elisabeth Vinek, Erich Schikuta, Thomas Weishäupl	ViNNSL - the Vienna Neural Network Specification Language.	IJCNN	2008	DBLP DOI BibTeX RDF
2	Emil Vassev, Mike Hinchey, Joey Paquet	Towards an ASSL specification model for NASA swarm-based exploration missions.	SAC	2008	DBLP DOI BibTeX RDF	swarm missions, autonomic computing, formal specification language
2	Mike Hinchey, Emil Vassev	An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL.	ATC	2008	DBLP DOI BibTeX RDF	Autonomic computing, specification language, system modeling
2	Viara Popova, Jan Treur	A specification language for organisational performance indicators.	Appl. Intell.	2007	DBLP DOI BibTeX RDF	Requirement, Language, Organisation, Performance indicator
2	Iliano Cervesato, Mark-Oliver Stehr	Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Multiset rewriting, Specification, Security protocol, Dependent types
2	Harald Obereder, Markus Pfaff	Behavioral synthesis of property specification language (PSL) assertions.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
2	Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten	Software/Hardware Engineering with the Parallel Object-Oriented Specification Language.	MEMOCODE	2007	DBLP DOI BibTeX RDF
2	Emil Vassev, Joey Paquet	ASSL - Autonomic System Specification Language.	SEW	2007	DBLP DOI BibTeX RDF
2	Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu	A Specification Language for Distributed Components Implemented in GCM/ProActive.	CoCoME	2007	DBLP DOI BibTeX RDF
2	Tibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Treur	A Specification Language for Coordination in Agent Systems.	IAT	2007	DBLP DOI BibTeX RDF
2	Sudhir Agarwal	A Goal Specification Language for Automated Discovery and Composition of Web Services.	Web Intelligence	2007	DBLP DOI BibTeX RDF
2	Ahmed M. Mostafa, Manal A. Ismai, Hatem El-Bolok, E. M. Saad	Toward a Formalization of UML2.0 Metamodel using Z Specifications.	SNPD	2007	DBLP DOI BibTeX RDF	Use Case Diagram, State Machine Diagram, Unified Modeling Language (UML), Formalization, Class Diagram, Z specification language
2	Gary T. Leavens, Albert L. Baker, Clyde Ruby	Preliminary design of JML: a behavioral interface specification language for java.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF
2	Gabriel Ciobanu, Dorel Lucanu	A specification language for coordinated objects.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	coordination, temporal logic, process algebra, objects, bisimulation, classes
2	Hans Jürgen Ohlbach	GeTS - A Specification Language for Geo-Temporal Notions.	KI	2006	DBLP DOI BibTeX RDF
2	Maoguang Wang, Li Zeng, Jiewen Luo, Qing Yu	A DDL Based Formal Policy Representation.	PRIMA	2006	DBLP DOI BibTeX RDF	GPSL(General policy specification language), policy ontology, autonomic computing, DDL
2	Youakim Badr, Richard Chbeir	Automatic Image Description Based on Textual Data.	J. Data Semantics	2006	DBLP DOI BibTeX RDF	Information Extraction, Specification Language, Image Representation, Indexing Method, Electronic Dictionaries
2	Boris Sunik	The specification language T.	SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	non-executable computer language, object-oriented programming, C++, specification language, language
2	Mohammad Feroz Raihan, Mohammad Zulkernine	Detecting Intrusions Specified in a Software Specification Language.	COMPSAC	2005	DBLP DOI BibTeX RDF
2	Viara Popova, Jan Treur	A Specification Language for Organisational Performance Indicators.	IEA/AIE	2005	DBLP DOI BibTeX RDF
2	Handan Çalikli, Ufuk Gül Çaglayan	A Formal Policy Specification Language for an 802.11 WLAN with Enhanced Security Network.	ISCIS	2005	DBLP DOI BibTeX RDF	Administrative Domain, 802.11 Wireless Local Area Network (WLAN), Mobadtl, Security Policy
2	El Mustapha El Atifi, Gilles Falquet	A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases.	DSV-IS	2005	DBLP DOI BibTeX RDF
2	Manish Vachharajani, Neil Vachharajani, David I. August	The liberty structural specification language: a high-level modeling language for component reuse.	PLDI	2004	DBLP DOI BibTeX RDF	Liberty Structural Specification (LSS), simulator construction, use-based specialization, type inference, component reuse, structural modeling, Liberty Simulation Environment (LSE)
2	Zhenchun Huang, Gu Lei, Bin Du, He Chuan	Grid Resource Specification Language based on XML and its usage in Resource Registry Meta-Service.	IEEE SCC	2004	DBLP DOI BibTeX RDF
2	Jin Song Dong, Shengchao Qin, Jun Sun 0001	Generating MSCs from an Integrated Formal Specification Language.	IFM	2004	DBLP DOI BibTeX RDF	Requirement Engineering, MSC, TCOZ
2	Murali Kaundinya, Ali Syed	Modeling event driven applications with a specification language (MEDASL).	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	DASL/OQL, application usage specification (AUS), business object specification (BOS), domain-specific-languages (DSL), model driven development, enterprise application integration (EAI)
2	Murali Kaundinya, Ali Syed	Modeling event driven applications with a specification language (MEDASL).	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	DASL/OQL, application usage specification (AUS), business object specification (BOS), domain-specific- languages (DSL), model driven development, enterprise application integration (EAI)
2	Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden	Pigeon: A Specification Language for Mobile Agent Applications.	AAMAS	2004	DBLP DOI BibTeX RDF
2	Yanhong Sun, Edward L. Jones	Specification-driven automated testing of GUI-based Java programs.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	test specification language, test automation, test engine
2	Nelly Delgado, Ann Q. Gates, Steve Roach	A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Assertion checkers, specification, survey, specification language, runtime monitors, software/program verification
2	Martin Lötzsch, Joscha Bach, Hans-Dieter Burkhard, Matthias Jüngel	Designing Agent Behavior with the Extensible Agent Behavior Specification Language XABSL.	RoboCup	2003	DBLP DOI BibTeX RDF
2	Daniel Geist	The PSL/Sugar Specification Language A Language for all Seasons.	CHARME	2003	DBLP DOI BibTeX RDF
2	Michael J. C. Gordon, Joe Hurd, Konrad Slind	Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving.	CHARME	2003	DBLP DOI BibTeX RDF
2	Jianjun Zhao, Martin C. Rinard	Pipa: A Behavioral Interface Specification Language for AspectJ.	FASE	2003	DBLP DOI BibTeX RDF
2	Abdesselam Redouane	A New Definitional Specification Language.	ICCSA	2003	DBLP DOI BibTeX RDF
2	Hong Zhu	A formal specification language for agent-oriented software engineering.	AAMAS	2003	DBLP DOI BibTeX RDF	multiagent systems, software agent, scenario, formal specification language, caste
2	F. Javier Soriano Camino, Fernando Alonso Amo, Genoveva López Gómez	A Formal Specification Language for Agent Conversations.	CEEMAS	2003	DBLP DOI BibTeX RDF
2	Xiaolei Gao, Huaikou Miao, Yihai Chen	Structured Object-Z Software Specification Language.	GCC	2003	DBLP DOI BibTeX RDF
2	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby	Expressing checkable properties of dynamic systems: the Bandera Specification Language.	STTT	2002	DBLP DOI BibTeX RDF	Model checking, Object-oriented programs, Temporal specification
2	Shigeta Kuninobu, Yoshiaki Takata, Daigo Taguchi, Masayuki Nakae, Hiroyuki Seki	A Specification Language for Distributed Policy Control.	ICICS	2002	DBLP DOI BibTeX RDF
2	Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar	The ForSpec Temporal Logic: A New Temporal Property-Specification Language.	TACAS	2002	DBLP DOI BibTeX RDF
2	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
2	Gwen Salaün, Michel Allemand, Christian Attiogbé	A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. (PDF / PS)	COMPSAC	2002	DBLP DOI BibTeX RDF
2	Barrett R. Bryant, Beum-Seuk Lee	Two-Level Grammar as an Object-Oriented Requirements Specification Language.	HICSS	2002	DBLP DOI BibTeX RDF	Object-Oriented Software Construction, Formal Specification, Vienna Development Method, Two-Level Grammar
2	Shonali Krishnaswamy, E. P. See, J. N. Ho, W. Gunawan	An XML Specification Language to Support a Virtual Marketplace of Data Mining E-Services. (PDF / PS)	WISE Workshops	2002	DBLP DOI BibTeX RDF	Virtual Marketplace, Data Mining, Ranking, Negotiation, Matching, E-Services
2	Steven Shapiro, Yves Lespérance, Hector J. Levesque	The cognitive agents specification language and verification environment for multiagent systems.	AAMAS	2002	DBLP DOI BibTeX RDF	agent specification languages, theorem proving, proof assistants, verification tools
2	Jason I. Hong	The context fabric: an infrastructure for context-aware computing.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	context specification language, implicit input, privacy, context awareness, data models, context-aware computing
2	Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi	Execution of TILCO Temporal Logic Specifications.	ICECCS	2002	DBLP DOI BibTeX RDF	real-time systems, first order logic, formal specification language, temporal operators, temporal interval logic
2	Dan Marius Regep, Fabrice Kordon	LfP : A Specification Language for Rapid Prototyping of Concurrent Systems.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF	Modelling of embedded distributed systems, Automatic distributed program generation, Formal verification, UML extensions, ODP
2	Michael Leuschel	Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog.	PADL	2001	DBLP DOI BibTeX RDF	Implementation and Compilation, Verification, Concurrency, Specification
2	Vangalur S. Alagar, Kasilingam Periyasamy	BTOZ: A Formal Specification Language for Formalizing Business Transactions.	TOOLS	2001	DBLP DOI BibTeX RDF
2	Keum-Young Sung	Design of a Specification Language and Real-Time APIs for Easy Expression of Soft Real-Time Constraints with Java.	ICN	2001	DBLP DOI BibTeX RDF
2	Bing Wu, Kudakwashe Dube	PLAN: A Framework and Specification Language with an Event-Condition-Action (ECA) Mechanism for Clinical Test Request Protocols. (PDF / PS)	HICSS	2001	DBLP DOI BibTeX RDF	Test Protocol, Clinical Test, Protocol Management Systems, Event-Condition-Action Mechanism and Active Databases, Framework, Specification
2	Christopher Menzel, Michael Grüninger	A formal foundation for process modeling.	FOIS	2001	DBLP DOI BibTeX RDF	process specification language, process modeling, PSL, formal ontology
2	Thomas Fahringer, Clovis Seragiotto Jr.	Modeling and detecting performance problems for distributed and parallel programs with JavaPSL.	SC	2001	DBLP DOI BibTeX RDF	mixed openMP and MPI programs, performance specification language, Java, performance analysis, distributed and parallel systems
2	Luigia Carlucci Aiello, Fabio Massacci	Verifying security protocols as planning in logic programming.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	logic programming, specification language, security protocols, AI planning
2	Manas Ranjan Patra, Hrushikesha Mohanty	A Formal Framework to Build Software Agents.	APSEC	2001	DBLP DOI BibTeX RDF	RAISE specification language, Agent engineering, Software agent, BDI architecture
2	Henrikas Pranevicius	The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems.	ADBIS	2001	DBLP DOI BibTeX RDF	aggregate approach, logistics centre, simulation, Distributed systems, formal specification, validation, Z specification language
2	Martin Glinz	Problems and Deficiencies of UML as a Requirements Specification Language.	IWSSD	2000	DBLP BibTeX RDF	model, UML, decomposition, use case, requirements specification
2	Annette Muth, Georg Färber	SDL as a System Level Specification Language for Application-Specific Hardware in a Rapid Prototyping Environment.	ISSS	2000	DBLP DOI BibTeX RDF
2	Tevfik Bultan	Action Language: a specification language for model checking reactive systems.	ICSE	2000	DBLP DOI BibTeX RDF	model checking, specification languages, reactive systems
2	M. Cecilia Bastarrica, Steven A. Demurjian, Alexander A. Shvartsman	Comprehensive Specification of Distributed Systems Using I5 and IOA.	SCCC	2000	DBLP DOI BibTeX RDF	distributed systems specification, incompatible components, IOA formal language, I5 specification framework, architectural definition, semantic specification, software architecture, formal specification, standardization, distributed processing, specification languages, specification language, communication protocols, configuration management, configuration management
2	Robert J. K. Jacob, Leonidas Deligiannidis, Stephen Morrison	A Software Model and Specification Language for Non-WIMP User Interfaces.	ACM Trans. Comput.-Hum. Interact.	1999	DBLP DOI BibTeX RDF	PMIW, interaction techiques, non-WIMP interface, specification language, user interface management system (UIMS), state transition diagram
2	Leslie Lamport, Lawrence C. Paulson	Should your specification language be typed.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	specification, types, set theory
2	Martin Leucker, Thomas Noll	Rapid Prototyping of Specification Language Implementations. (PDF / PS)	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF
2	Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile	NP-SPEC: An Executable Specification Language for Solving All Problems in NP.	PADL	1999	DBLP DOI BibTeX RDF
2	Du Li, Richard R. Muntz	A collaboration specification language.	DSL	1999	DBLP DOI BibTeX RDF
2	Alok Mehta, George T. Heineman	Architectural Evolution of Legacy Systems. (PDF / PS)	COMPSAC	1999	DBLP DOI BibTeX RDF	Active X, Life Insurance and Executive Benefit Software, Microsoft Visual Basic, Component Specification Language (CSL), Software Architecture, Components
2	Martin C. Henson, Steve Reeves	Revising Z: Part II - Logical Development.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Specification language Z, Logics of specification languages, Semantics of specification languages
2	Martin C. Henson, Steve Reeves	Revising Z: Part I - Logic and Semantics.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Specification language Z, Logics of specification languages, semantics of specification languages
2	Stefan Kahrs, Donald Sannella	Reflections on the Design of a Specification language.	FASE	1998	DBLP DOI BibTeX RDF
2	Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter	Attempto Controlled English - Not Just Another Logic Specification Language.	LOPSTR	1998	DBLP DOI BibTeX RDF
2	David R. Musser, Sibylle Schupp, Rüdiger Loos	Requirement Oriented Programming.	Generic Programming	1998	DBLP DOI BibTeX RDF	requirement oriented programming, concept description language, algebraic concept definitions, TECTON, formal verification, specification language, generic programming, standard template library