Process Specification Language - PDFSEARCH.IO - Document Search Engine

Process Specification Language
Results: 89

#	Item
1	The Workflow Management Coalition Specification Workflow Management Coalition Workflow Standard Process Definition Interface -- XML Process Definition Language Add to Reading List Source URL: www.wfmc.org Language: English - Date: 2014-02-17 16:44:14
2	Web Services Business Process Execution Language Version 2.0 Committee Specification Add to Reading List Source URL: docs.oasis-open.org Language: English - Date: 2007-01-31 18:50:00
3	The Workflow Management Coalition Specification Workflow Management Coalition Workflow Standard Workflow Process Definition Interface -- XML Process Definition Language Add to Reading List Source URL: www.wfmc.org - Date: 2014-02-17 16:44:41
4	The Workflow Management Coalition Specification Workflow Management Coalition Workflow Standard Process Definition Interface -- XML Process Definition Language Add to Reading List Source URL: www.xpdl.org - Date: 2015-11-23 14:08:04
5	Towards a methodology for rigorous development of generic requirements patterns Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-02-03 05:56:31 Engineering Software engineering Technology Systems engineering Unified Modeling Language Software design Scientific modeling Software requirements Modeling language Object Process Methodology Specification Model-driven architecture
6	The engineering of generic requirements for failure management Colin Snook1, Michael Poppleton1, and Ian Johnson2 1 School of Electronics and Computer Science, Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-02-03 05:56:31 Software engineering Unified Modeling Language Technology Computing Diagram Object Process Methodology Modeling language Class diagram Abstract state machines Profile Domain analysis Specification
7	The engineering of generic requirements for failure management Colin Snook1, Michael Poppleton1, and Ian Johnson2 1 School of Electronics and Computer Science, Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 10:53:25 Software engineering Unified Modeling Language Computing Modeling language Class diagram Object Process Methodology Abstract state machines Specification Profile Requirement Formal methods Executable UML
8	Outline Choreography Specification Language Security Policy Specification Language Enforcement Approach Conclusion Add to Reading List Source URL: security-lab.jaist.ac.jp Language: English - Date: 2015-11-22 02:25:26 Computing Technology Security Software engineering Product development Quality Specification Technical communication Business Process Execution Language Computer security
9	Inference and enforcement of data structure consistency specifications Brian Demsky1 , Michael D. Ernst2 , Philip J. Guo2 , Stephen McCamant2 , Jeff H. Perkins2 , Martin Rinard2 University of California at Irvine, Irvine Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Internet Standards Internet protocols Computability theory Daikon Software testing Domain Name System Security Extensions Domain Name System Freeciv Programming language Object Process Methodology Specification language Internet protocol suite
10	HATS Abstract Behavioral Specification: The Architectural View? Reiner Hähnle1 , Michiel Helvensteijn2 , Einar Broch Johnsen3 , Michael Lienhardt4 , Davide Sangiorgi4 , Ina Schaefer5 , and Peter Y. H. Wong6 1 Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-26 08:01:20 Feature-oriented programming Feature model SystemC R Business process modeling Modeling language Delta Workflow Prototype