Conferences in DBLP
Ralph-Johan Back SFI: A Refinement Based Layered Software Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Shaoying Liu Developing Quality Software Systems Using the SOFL Formal Engineering Method. [Citation Graph (0, 0)][DBLP ] Conf ] Mark A. Hale Maintaining Referential Integrity on the Web. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Jüllig Formal Methods in Enterprise Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Woodcock , Arthur P. Hughes Unifying Theories of Parallel Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Hong Mei , Feng Chen , Qianxiang Wang , Yao-Dong Feng ABC/ADL: An ADL Supporting Component Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Hong Zheng , Shi-xian Li The Description of CORBA Objects Based on Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Maritta Heisel , Thomas Santen , Jeanine Souquières Toward a Formal Model of Software Components. [Citation Graph (0, 0)][DBLP ] Conf ] Jing Liu , Huaikou Miao , Xiaolei Gao A Specification-Based Software Construction Framework for Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Xuejun Chen Specifying a Component Model for Building Dynamically Reconfigurable Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Vangalur S. Alagar , Ralf Lämmel Three-Tiered Specification of Micro-architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Jiayue Chang , Huadong Ma Modeling the Architecture for Component-Based E-commerce System. [Citation Graph (0, 0)][DBLP ] Conf ] Fei Cao , Barrett R. Bryant , Rajeev R. Raje , Mikhail Auguston , Andrew M. Olson , Carol C. Burt Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Graeme Smith , John Derrick Abstract Specification in Object-Z and CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Attiogbé Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. [Citation Graph (0, 0)][DBLP ] Conf ] David R. Musser , Zhiqing Shao Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Kenji Taguchi , Jin Song Dong An Overview of Mobile Object-Z. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Song Dong , Jing Sun , Hai Wang Z Approach to Semantic Web. [Citation Graph (0, 0)][DBLP ] Conf ] Shengchao Qin , Jifeng He , Zongyan Qiu , Naixiao Zhang Hardware/Software Partitioning in Verilog. [Citation Graph (0, 0)][DBLP ] Conf ] Adriano M. Pereira , Mark Song , Gustavo Gorgulho , Wagner Meira Jr. , Sérgio Vale Aguiar Campos A Formal Methodology to Specify E-commerce Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Miller , Paul A. Strooper Model-Based Specification Animation Using Testgraphs. [Citation Graph (0, 0)][DBLP ] Conf ] Alvaro E. Arenas An Abstract Model for Scheduling Real-Time Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Olfa Mosbahi , Leila Jemni , Samir Ben Ahmed , Jacques Jaray A Specification and Validation Technique Based on STATEMATE and FNLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Yuyue Du , Changjun Jiang Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows. [Citation Graph (0, 0)][DBLP ] Conf ] Jinfeng Huang , Ad Verschueren , Henri Aalderink , Johan J. Lukkien A Calculus for Mobile Network Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Guangyuan Li , Zhisong Tang Modelling Real-Time Systems with Continuous-Time Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Ying Liu , Naixiao Zhang On Concept-Based Definition of Domain-Specific Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Hong Zhu Formal Specification of Evolutionary Software Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Yuan Liu , Baowen Xu , Zhenqiang Chen Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Huiqun Yu , Xudong He , Yi Deng , Lian Mo Formal Analysis of Real-Time Systems with SAM. [Citation Graph (0, 0)][DBLP ] Conf ] Muan Yong Ng , Michael J. Butler Tool Support for Visualizing CSP in UML. [Citation Graph (0, 0)][DBLP ] Conf ] Orieta Celiku , Joakim von Wright Theorem Prover Support for Precondition and Correctness Calculation. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Song Dong , Yuan-Fang Li , Jing Sun , Jun Sun , Hai H. Wang XML-Based Static Type Checking and Dynamic Visualization for TCOZ. [Citation Graph (0, 0)][DBLP ] Conf ] Doug Goldson , Greg Reeve , Steve Reeves µ-Chart-Based Specification and Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Sibylle Peuker , Ian J. Hayes Towards a Refinement Calculus for Concurrent Real-Time Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Adolfo Duran , Ana Cavalcanti , Augusto Sampaio Refinement Algebra for Formal Bytecode Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Jessica Chen Formal Modelling of Java GUI Event Handling. [Citation Graph (0, 0)][DBLP ] Conf ] Ana R. Cavalli , Stéphane Maag A New Algorithm for Service Interaction Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Juha Plosila , Tiberiu Seceleanu Specification of an Asynchronous On-chip Bus. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Pang Analysis of a Security Protocol in µCRL. [Citation Graph (0, 0)][DBLP ] Conf ] Gafurov Davrondjon , Tomasz Janowski Developing a Spell-Checker for Tajik Using RAISE. [Citation Graph (0, 0)][DBLP ] Conf ] Zarina Shukur , Abdullah Mohd Zin , Ainita Ban M2Z: A Tool for Translating a Natural Language Software Specification into Z. [Citation Graph (0, 0)][DBLP ] Conf ] Hugh Anderson Abstract Interpretation with a Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Abhik Roychoudhury Formal Reasoning about Hardware and Software Memory Models. [Citation Graph (0, 0)][DBLP ] Conf ] Ji Wang , Wei Dong , Zhichang Qi Slicing Hierarchical Automata for Model Checking UML Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] M. Hasan Zobair , Sofiène Tahar Formal Verification of a SONET Telecom System Block. [Citation Graph (0, 0)][DBLP ] Conf ] Amr T. Abdel-Hamid , Sofiène Tahar , John Harrison Enabling Hardware Verification through Design Changes. [Citation Graph (0, 0)][DBLP ] Conf ] Guido Wimmel , Jan Jürjens Specification-Based Test Generation for Security-Critical Systems Using Mutations. [Citation Graph (0, 0)][DBLP ] Conf ] Hassan B. Diab , Marc Frappier , Richard St.-Denis A Formal Definition of Function Points for Automated Measurement of B Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Fan Guo , Yiyun Chen , RongGui Hu Machine Code Type Safety. [Citation Graph (0, 0)][DBLP ] Conf ] Yan-Bing Jiang , Wei-Zhong Shao , Zhi-Yi Ma , Yao-Dong Feng On the Formalized Semantics of Static Modeling Elements in UML. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Hammad , Bruno Tatibouët , Jean-Christophe Voisinet , Weiping Wu From a B Specification to UML StateChart Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Huaikou Miao , Ling Liu , Li Li Formalizing UML Models with Object-Z. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiming Liu , Xiaoshan Li , Jifeng He Using Transition Systems to Unify UML Models. [Citation Graph (0, 0)][DBLP ] Conf ] Soon-Kyeong Kim , David A. Carrington A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z. [Citation Graph (0, 0)][DBLP ] Conf ] Behzad Bordbar , John Derrick , A. Gill Waters A UML Approach to the Design of Open Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Subash Shankar A Semantic Model of Real-Time UML. [Citation Graph (0, 0)][DBLP ] Conf ] Zhong Ming , Shi-xian Li , Xiu-rong Fang Research on Ontology-Oriented Domain Analysis on MIS. [Citation Graph (0, 0)][DBLP ] Conf ] Zaobin Gan , Chuanbo Chen , Xiandeng Pei A Requirements Description Model Based on Conditional Directed Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Graeme Smith Introducing Reference Semantics via Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Huibiao Zhu , Jonathan P. Bowen , Jifeng He Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Adnan Sherif , Jifeng He Towards a Time Model for Circus. [Citation Graph (0, 0)][DBLP ] Conf ] 