|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24978 occurrences of 6419 keywords
|
|
|
Results
Found 29225 publication records. Showing 29225 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Da-Hai Li, T. S. E. Maibaum |
A Top-down Step-wise Refinement Methodology for Protocol Specification. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
20 | Jacques Loeckx |
Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types. |
ACM Trans. Program. Lang. Syst. |
1987 |
DBLP DOI BibTeX RDF |
|
20 | Donald Sannella, Andrzej Tarlecki |
Program Specification and Development in Standard ML. |
POPL |
1985 |
DBLP DOI BibTeX RDF |
Standard ML |
19 | Huaikou Miao, Zhicheng Wen |
An Approach to Extending Object-Z with Real-Time. |
DELTA |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Sören Balko |
Adaptive Specifications of Technical Information Systems. |
FMLDO |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Zhongping Tao, Gregor von Bochmann, Rachida Dssouli |
Verification and diagnosis of testing equivalence and reduction relation. |
ICNP |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
Timed I/O automata: a complete specification theory for real-time systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
specification theory, timed i/o automata, real-time, interfaces, refinement |
19 | Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller |
Generating test cases for specification mining. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
typestate analysis, test case generation, specification mining |
19 | 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 |
19 | Linda Terlouw, Kees Eveleens Maarse |
A Service Specification Framework for Developing Component-Based Software: A Case Study at the Port of Rotterdam. |
CIAO! / EOMAS |
2009 |
DBLP DOI BibTeX RDF |
Case Study, Component-Based Development, Service Specification, Design Science Research |
19 | 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 |
19 | Gavin Lowe |
Specification of communicating processes: temporal logic versus refusals-based refinement. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Refinement testing, Specification, Temporal logic, CSP, Refusals |
19 | Khairuddin Hashim, Johan Yousoff |
A Behavioral Requirements Specification Approach for Interactive Multimedia Applications. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
interactive, specification, requirements engineering, multimedia Applications |
19 | Konstantinos Kemalis, Theodoros Tzouramanis |
SQL-IDS: a specification-based approach for SQL-injection detection. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
specification-based runtime validation, world-wide web, database security, web application security, SQL injection attacks |
19 | David de Almeida Ferreira, Alberto Rodrigues da Silva |
A requirements specification case study with ProjectIT-studio/requirements. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
NLP techniques, specification, validation, requirements, CASE tool, controlled natural language |
19 | Manfred Broy |
Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Large Scale Embedded Software Systems, Comprehensive Architecture, Verification, Specification |
19 | Fabio Massacci, Nicola Zannone |
A Model-Driven Approach for the Specification and Analysis of Access Control Policies. |
OTM Conferences (2) |
2008 |
DBLP DOI BibTeX RDF |
Access Control, Policy Specification, Security Requirements Engineering |
19 | Tanvir Ahmed 0002, Anand R. Tripathi |
Specification and verification of security requirements in a programming model for decentralized CSCW systems. |
ACM Trans. Inf. Syst. Secur. |
2007 |
DBLP DOI BibTeX RDF |
finite state-based model checking, methodology for access-control policy design, role-based access control, Security policy specification |
19 | Roman Gumzej, Shourong Lu |
Modeling distributed real-time applications with specification PEARL. |
Real Time Syst. |
2007 |
DBLP DOI BibTeX RDF |
UML, Specification languages, Configuration management, Co-design, Co-simulation, Application modeling, PEARL |
19 | Shalabh Goyal, Abhijit Chatterjee, Michael Purtell |
A Low-Cost Test Methodology for Dynamic Specification Testing of High-Speed Data Converters. |
J. Electron. Test. |
2007 |
DBLP DOI BibTeX RDF |
data converter testing, low-cost test and dynamic specification testing |
19 | Iliano Cervesato, Mark-Oliver Stehr |
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Multiset rewriting, Specification, Security protocol, Dependent types |
19 | Jeff Lewis |
Cryptol: specification, implementation and verification of high-grade cryptographic applications. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
cryptography, specification language, certification, high assurance, symmetric key |
19 | David Lo 0001, Siau-Cheng Khoo, Chao Liu 0001 |
Efficient mining of iterative patterns for software specification discovery. |
KDD |
2007 |
DBLP DOI BibTeX RDF |
closed iterative patterns, software specification discovery |
19 | Sara Jones 0001, Neil A. M. Maiden, Sharon Manning, John Greenwood |
Informing the Specification of a Large-Scale Socio-technical System with Models of Human Activity. |
REFSQ |
2007 |
DBLP DOI BibTeX RDF |
specification, use cases, domain knowledge, socio-technical systems |
19 | Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan |
Static specification inference using predicate mining. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
predicate mining, program analysis, preconditions, specification inference |
19 | David B. Cedrés, Emilio Hernández |
Parameter Sweeping Methodology for Integration in a Workflow Specification Framework. |
ICCSA (1) |
2007 |
DBLP DOI BibTeX RDF |
workflow specification, parallel processing, distributed processing, Computational models, parameter sweeping |
19 | Naiyong Jin, Taoyong Ni |
Interface Specification Assurance Methods. |
ISQED |
2007 |
DBLP DOI BibTeX RDF |
Component-Based Methodology, Specification Assurance, SAT, PSL |
19 | Abdelaziz Guerrouat, Harald Richter 0001 |
A component-based specification approach for embedded systems using FDTs. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
embedded system, testing, specification, component-based systems, formal description techniques |
19 | Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev |
A specification-based approach to reasoning about pointers. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
heap memory management, pointer specification, reasoning |
19 | Lunquan Li, Peng Liu 0005, George Kesidis |
Visual toolkit for network security experiment specification and data analysis. |
VizSEC |
2006 |
DBLP DOI BibTeX RDF |
animated topology, experiment specification, testbed, visual toolkit |
19 | Marc Aiguier, Karim Berkani, Pascale Le Gall |
Feature Specification and Static Analysis for Interaction Resolution. |
FM |
2006 |
DBLP DOI BibTeX RDF |
pre-post formalism, specification consistency, feature interaction resolution, static analysis, feature integration |
19 | Hoda M. Hassan, Mohy Mahmoud, Sherif El-Kassas |
Securing the AODV protocol using specification-based intrusion detection. |
Q2SWinet |
2006 |
DBLP DOI BibTeX RDF |
specification-based detection, IDS, network monitoring, AODV |
19 | Achraf Mtibaa, Faïez Gargouri |
A Multi-representation Ontology for the Specification of Multi-context Requirements. |
SITIS |
2006 |
DBLP DOI BibTeX RDF |
Multi-representation, Ontology, Requirement specification, Multi-context |
19 | Cyril Rousseau, Yacine Bellik, Frédéric Vernier |
Multimodal output specification / simulation platform. |
ICMI |
2005 |
DBLP DOI BibTeX RDF |
output multimodality, outputs simulation, outputs specification, human-computer interaction |
19 | Volker Gruhn, Ralf Laue 0001 |
Specification Patterns for Time-Related Properties. |
TIME |
2005 |
DBLP DOI BibTeX RDF |
timed model checking, verification, formal specification, patterns |
19 | Jan Gulliksen, Susan Harker |
The software accessibility of human-computer interfaces-ISO Technical Specification 16071. |
Univers. Access Inf. Soc. |
2004 |
DBLP DOI BibTeX RDF |
ANSI/HFES, International Standards Organisation, ISO 16071, Technical specification, W3C-WAI guidelines, Standardisation |
19 | Shuhua Wang, Grace Tsai |
Specification and Timing Analysis of Real-Time Systems. |
Real Time Syst. |
2004 |
DBLP DOI BibTeX RDF |
functional and timing requirements, real-time systems, specification, schedulability analysis, allocation |
19 | Sarfraz Khurshid, Darko Marinov |
TestEra: Specification-Based Testing of Java Programs Using SAT. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation |
19 | Robert B. France, Dae-Kyoo Kim, Sudipto Ghosh, Eunjee Song |
A UML-Based Pattern Specification Technique. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
pattern specification, UML, Design patterns, object-oriented models |
19 | Chun Ouyang 0001, Jonathan Billington |
An improved formal specification of the Internet Open Trading Pprotocol. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
Internet trading protocols, specification and analysis, formal methods, e-commerce, coloured petri nets |
19 | Andreas Meissner, Sharath Babu Musunoori, Lars C. Wolf |
MGMS/GML - Towards a New Policy Specification Framework for Multicast Group Integrity. |
SAINT |
2004 |
DBLP DOI BibTeX RDF |
Group Integrity, Multicast, Group Management, Policy Specification |
19 | Ambar A. Gadkari, S. Ramesh 0001, Rubin A. Parekhji |
CESC: a visual formalism for specification and verification of SoCs. |
ACM Great Lakes Symposium on VLSI |
2004 |
DBLP DOI BibTeX RDF |
verification, specification, visual languages, system-level design |
19 | Achintya Halder, Abhijit Chatterjee |
Automated Test Generation and Test Point Selection for Specification Test of Analog Circuits. |
ISQED |
2004 |
DBLP DOI BibTeX RDF |
test point selection, automated test generation, specification testing, parametric failure |
19 | Steffen Zschaler |
Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
Language Definition, Semantics, Specification, Component-Based Software, Non-functional Properties |
19 | Anand R. Tripathi, Tanvir Ahmed 0002, Richa Kumar |
Specification of Secure Distributed Collaboration Systems. |
ISADS |
2003 |
DBLP DOI BibTeX RDF |
Role based access control, Distributed collaboration, Security policy specification |
19 | Eelco van den Berg, Hilderick A. van der Meiden, Willem F. Bronsvoort |
Specification of freeform features. |
Symposium on Solid Modeling and Applications |
2003 |
DBLP DOI BibTeX RDF |
feature class specification, feature parameterization, freeform features, feature modeling, constraint solving |
19 | Nuno Amálio, Fiona Polack |
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
formalisation, UML, specification, Z, Object-Z |
19 | Jessica Chen, Steve Chovanec |
Towards Specification-based Web Testing. |
NETWORKING Workshops |
2002 |
DBLP DOI BibTeX RDF |
Java AWT and Swing, Web applications, Finite state machines, Specification-based testing, Capture/Replay |
19 | Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, Margaret-Anne D. Storey |
On the Use of Visualization in Formal Requirements Specification. |
RE |
2002 |
DBLP DOI BibTeX RDF |
visualization, formal methods, Requirements specification |
19 | Claus Möbus, Bernd Albers, Stefan Hartmann, Heinz-Jürgen Thole, Jochen Zurborg |
Towards a Specification of Distributed and Intelligent Web Based Training Systems. |
Intelligent Tutoring Systems |
2002 |
DBLP DOI BibTeX RDF |
Cognitive Approaches, Distributed Learning Environments, Intelligent Distance Learning, Internet Environments, Content-Engineering, Intelligent Web Based Training (I-WBT), Specification of e-Learning Systems, Educational Modeling Language (EML), Extensible Markup Language (XML), Unified Modeling Language (UML), Architectures, Learning Environments, Authoring Systems |
19 | Tuba Yavuz-Kahveci, Tevfik Bultan |
Specification, verification, and synthesis of concurrency control components. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
infinite-state model checking, monitors, specification languages, concurrent programming |
19 | HyungJong Kim 0002 |
System Specification Based Network Modeling for Survivability Testing Simulation. |
ICISC |
2002 |
DBLP DOI BibTeX RDF |
Survivability, Simulation Model, Vulnerability Analysis, System Specification, DEVS-Formalism |
19 | Stephan Flake, Wolfgang Müller 0003 |
Specification of Real-Time Properties for UML Models. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
UML, Object Constraint Language, Real-Time Constraints, Property Specification |
19 | 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 |
19 | John Larmouth, Olivier Dubuisson, Paul Thorpe |
Application of the ASN.1 specification technique to the Bluetooth service discover protocol. |
MobiHoc |
2001 |
DBLP DOI BibTeX RDF |
protocol specification techniques, Bluetooth, ECN, ASN.1 |
19 | Bing Wu 0004, Kudakwashe Dube |
PLAN: A Framework and Specification Language with an Event-Condition-Action (ECA) Mechanism for Clinical Test Request Protocols. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
Test Protocol, Clinical Test, Protocol Management Systems, Event-Condition-Action Mechanism and Active Databases, Framework, Specification |
19 | Cédric Besse, Ana R. Cavalli, Ferhat Khendek |
Partial Validation of a Design Specification with Respect to Requirements. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
MSC views, MSC traces, Specification, Validation, Requirement, SDL, MSC |
19 | 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 |
19 | Chris Matthews, Paul A. Swatman |
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
requirements determination, formal specification, Z, fuzzy set theory |
19 | Paul Ammann, Paul E. Black |
A Specification-Based Coverage Metric to Evaluate Test Sets. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Model Checking, Formal Specification, Coverage, Test Sets, SCR, Test Metric, SMV |
19 | Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma |
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. |
RTSS |
1999 |
DBLP DOI BibTeX RDF |
simulation, verification, performance analysis, formal methods, specification, soft real-time systems |
19 | Xiaoshan Li |
Specification and Simulation of a Concurrent Real-Time System. |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
Concurrent Real-time Systems, Simulation and Verification, Executable Specification, Interval Temporal Logic |
19 | King Sing Cheung, K. O. Chow, T. Y. Cheung |
Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
formal specification, formal method, object-oriented model |
19 | J. William Atwood, Morteza Ghodrat, Dariusz Tasak |
Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols. |
LCN |
1999 |
DBLP DOI BibTeX RDF |
Higher Layer Signaling, SSCOP, Simulation, Formal Specification, Asynchronous Transfer Mode, Validation, Observers |
19 | Yen-Min Huang, Chinya V. Ravishankar |
Constructive Protocol Specification Using Cicero. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
event-driven language, protocol specification, protocol implementation, Protocol synthesis |
19 | Robert W. Sumners, Jacob A. Abraham |
Hierarchical Specification of System Behavior. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
specification, temporal logic, abstraction |
19 | Hanêne Ben-Abdallah, Insup Lee 0001, Young-Si Kim |
Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. |
RE |
1997 |
DBLP DOI BibTeX RDF |
Real-time systems, formal specification, graphical languages, resource requirements |
19 | Gopal Gupta 0001, Enrico Pontelli |
A constraint-based approach for specification and verification of real-time systems. |
RTSS |
1997 |
DBLP DOI BibTeX RDF |
constraint based approach, real time systems specification, real time systems verification, general constraint logic programming, real time event ordering, grammar productions, Definite Clause Grammar, CLP program, DCG, timed push down automata, real-time systems, timed automata, constraint logic program, constraint automata |
19 | Kate Finney |
Mathematical Notation in Formal Specification: Too Difficult for the Masses? |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
reading Z, Formal specification, mathematics |
19 | Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen |
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
Modechart, VFSM, Formal methods, specification languages, Z, SDL, industrial applications, LOTOS, ESTEREL, technology assessment |
19 | Pamela Zave, Michael Jackson 0001 |
Where Do Operations Come From: A Multiparadigm Specification Technique. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
multiparadigm specification, graphical human-computer interfaces, Formal methods, telecommunications, Z, consistency analysis |
19 | Juan-José Martins, Jean-Pierre Hubaux |
A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation. |
FME |
1996 |
DBLP DOI BibTeX RDF |
Simulation, Performance Evaluation, Formal Specification, System Design, System Analysis, System Engineering |
19 | Carlos Carreras, Juan Carlos López 0001, María Luisa López Vallejo, Luis Sánchez, Carlos Delgado Kloos, Natividad Martínez Madrid |
A Co-Design Methodology Based on Formal Specification and High-level Estimation. |
CODES |
1996 |
DBLP DOI BibTeX RDF |
formal specification, partitioning, estimation, Co-design, LOTOS |
19 | Karlheinz Agsteiner, Dieter Monjau, Sören Schulze |
Automating System-Level Design: From Specification to Architecture. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
system-level design automation, digital systems specification, system components, knowledge-based configuration system, object-oriented domain model, reduced instruction set computing, RISC processors, system functions |
19 | T. Yoshino, Sanya Uehara, Takao Okubo, S. Suguta, Y. Hotta, M. Sonobe |
Reverse Engineering from COBOL to Narrative Specification. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
specification generation, process logic and maintenance tool, reverse engineering, software maintenance |
19 | Dunia Ramazani |
Contribution of object-oriented methodologies to the specification of complex systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
specifier, formal specification, formal specifications, complex systems, object-oriented methods, large-scale systems, object-oriented methodologies, composite objects |
19 | John-Jules Ch. Meyer, Roel J. Wieringa |
Actor-Oriented System Specification with Dynamic Logic. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
Subject area Specification of systems, combining different logics |
19 | Mathai Joseph |
Problems, Promises and Performance: Some Questions for Real-time System Specification. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
synchronous real-time, asynchronous real-time, fault-tolerance, real-time specification |
19 | Aphrodite Tsalgatidou, Vassileios Karakostas, Pericles Loucopoulos |
Rule-Based Requirements Specification and Validation. |
CAiSE |
1990 |
DBLP DOI BibTeX RDF |
Petri-nets, animation, logic programming, conceptual modelling, requirements specification, rule bases, executable specifications |
19 | Katsumi Okamoto, Masaaki Hashimoto |
On Real-Time Program Specification Description with a Data Model-Based Language. |
ICCI |
1990 |
DBLP DOI BibTeX RDF |
Program specification description language, constraint, timing, entity-relationship model, real-time software, conceptual data model, nonprocedural language |
19 | Sudhir Aggarwal, Daniel Barbará, Kalman Z. Meth |
A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
SPANNER software environment, selection/resolution model, cluster variables, simulation, parallel programming, concurrency, distributed computing, specification, coordination, distributed processing, programming environments, concurrent programming, reachability analysis, software environment, dining philosophers, finite-state machine model |
19 | Bjørnar Solhaug, Ketil Stølen |
Compositional Refinement of Policies in UML - Exemplified for Access Control. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
policy adherence, access control, UML sequence diagrams, Policy specification, policy refinement |
19 | Shaoying Liu |
Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
modeling, formal specification, Scenario-based design, Top-Down design |
19 | Mohammad Zulkernine, Mathew Graves, Muhammad Umair Ahmed Khan |
Integrating software specifications into intrusion detection. |
Int. J. Inf. Sec. |
2007 |
DBLP DOI BibTeX RDF |
Software specification languages, Intrusion detection, State machines, Attack scenarios |
19 | Gang Tan, Greg Morrisett |
Ilea: inter-language analysis across java and c. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
JVML, inter-language analysis, specification extraction, JNI, java native interface |
19 | Dick Hamlet |
Test-Based Specifications of Components and Systems. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
Component/system testing theory, test- based specification, persistent state |
19 | Kenneth J. Turner |
Test generation for radiotherapy accelerators. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Lotos (Language Of Temporal Ordering Specification), Test generation, Accelerator, Radiotherapy |
19 | Thomas Baar |
OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem. |
MoDELS (Satellite Events) |
2005 |
DBLP DOI BibTeX RDF |
OCL, Graph Grammars, Design by Contract, QVT, Behavior Specification |
19 | Sachoun Park, Gihwon Kwon |
Verification of UML-Based Security Policy Model. |
ICCSA (3) |
2005 |
DBLP DOI BibTeX RDF |
Formal verification, Role-based access control, Visual specification, Security policy model |
19 | Fangjun Wu, Tong Yi |
Measuring Z specifications. |
ACM SIGSOFT Softw. Eng. Notes |
2004 |
DBLP DOI BibTeX RDF |
formal specification, formal method, software metrics, Z, correlation analysis |
19 | Lihua Xu, Marcio S. Dias, Debra J. Richardson |
Generating Regression Tests via Model Checking. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
Model Checking, Formal Specification, Software Testing, Regression Testing |
19 | Laura M. Leventhal, Julie Barnes, Joseph Chao |
Term project user interface specifications in a usability engineering course: challenges and suggestions. |
SIGCSE |
2004 |
DBLP DOI BibTeX RDF |
task analysis, user interface specification, group projects |
19 | Qiang Zhu 0005, Ryosuke Oishi, Takashi Hasegawa, Tsuneo Nakata |
System-on-chip validation using UML and CWL. |
CODES+ISSS |
2004 |
DBLP DOI BibTeX RDF |
specification modeling, UML, validation and verification, verification process |
19 | Jameleddine Hassine, Rachida Dssouli, Juergen Rilling |
Applying Reduction Techniques to Software Functional Requirement Specifications. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
Functional requirement specification, maintenance, program slicing, comprehension, Use Case Maps |
19 | Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux |
Formal Composition of Distributed Scenarios. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
Scenario-based approach, Scenario composition, Distributed systems, Formal specification, Use case, FSM |
19 | Tim Miller, Paul A. Strooper |
A framework and tool support for the systematic testing of model-based specifications. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
specification animation, testgraphs, testing, Formal verification |
19 | Vincent Hilaire, Abder Koukam, Pablo Gruer |
A Mechanism for Dynamic Role Playing. |
Agent Technologies, Infrastructures, Tools, and Applications for E-Services |
2002 |
DBLP DOI BibTeX RDF |
Multi-agent systems, formal specification, methodology |
19 | Jin Song Dong, Jing Sun 0002, Hai H. Wang |
Semantic Web for Extending and Linking Formalisms. |
FME |
2002 |
DBLP DOI BibTeX RDF |
specification environment, Semantic Web |
19 | Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems |
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective. |
IEEE Trans. Knowl. Data Eng. |
2001 |
DBLP DOI BibTeX RDF |
update logics, knowledge-based systems, dynamics, Specification languages, inference control |
19 | Mohammed Elkoutbi, Rudolf K. Keller |
User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
scenario specification, Unified Modeling Language, high-level Petri net, User interface prototyping |
|
|