Search results for "Little-JIL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
201	Barbara Staudt Lerner	Verifying process models built using parameterized state machines.	ISSTA	2004	DBLP DOI BibTeX RDF	Little-JIL, SMC, finite state machine, software process, work flow, LTSA
143	Alexander E. Wise, Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr.	Using Little-JIL to Coordinate Agents in Software Engineering.	ASE	2000	DBLP DOI BibTeX RDF
103	Aaron G. Cass, Barbara Staudt Lerner, Stanley M. Sutton Jr., Eric K. McCall, Alexander E. Wise, Leon J. Osterweil	Little-JIL/Juliette: a process definition language and interpreter.	ICSE	2000	DBLP DOI BibTeX RDF	Little-JIL, process programming, workflow, coordination, process
95	Bin Chen 0018, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil	Automatic Fault Tree Derivation from Little-JIL Process Definitions.	SPW/ProSim	2006	DBLP DOI BibTeX RDF
95	Junchao Xiao, Leon J. Osterweil, Lei Zhang 0175, Alexander E. Wise, Qing Wang 0001	Applying Little-JIL to Describe Process-Agent Knowledge in SoftPM.	SPW/ProSim	2006	DBLP DOI BibTeX RDF
80	Leon J. Osterweil	JIL and Little-JIL Process Programming Languages.	EWSPT	1998	DBLP DOI BibTeX RDF
48	Liming Zhu 0001, Leon J. Osterweil, Mark Staples, Udo Kannengiesser	Challenges Observed in the Definition of Reference Business Processes.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF
48	Mohammad S. Raunak, Leon J. Osterweil	Process Definition Language Support for Rapid Simulation Prototyping.	ISPW	2005	DBLP DOI BibTeX RDF
48	Leon J. Osterweil, Lori A. Clarke	Frameworks for Reasoning about Agent Based Systems.	Agents Workshop on Infrastructure for Multi-Agent Systems	2000	DBLP DOI BibTeX RDF
48	David D. Jensen, Yulin Dong, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr., Alexander E. Wise	Coordinating agent activities in knowledge discovery processes.	WACC	1999	DBLP DOI BibTeX RDF	agenda management, process programming, knowledge representation, agent coordination, knowledge discovery process
47	Danhua Wang, Jingui Pan, George S. Avrunin, Lori A. Clarke, Bin Chen 0018	An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language.	SEKE	2010	DBLP BibTeX RDF
47	Junchao Xiao, Leon J. Osterweil, Lei Zhang 0175, Alexander E. Wise, Qing Wang 0001	Applying Little-JIL to describe Process-Agent knowledge and support project planning in SoftPM.	Softw. Process. Improv. Pract.	2007	DBLP DOI BibTeX RDF
47	Leon J. Osterweil, Lori A. Clarke	Little-JIL.	ACM SIGSOFT Softw. Eng. Notes	2000	DBLP DOI BibTeX RDF
47	Barbara Staudt Lerner, Leon J. Osterweil, Stanley M. Sutton Jr., Alexander E. Wise	Programming Process Coordination in Little-JIL.	EWSPT	1998	DBLP DOI BibTeX RDF
24	Borislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil	Specifying and verifying requirements for election processes.	DG.O	2008	DBLP BibTeX RDF	verification, requirements, process, elections, properties
24	Stefan Christov, Bin Chen 0018, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens	Rigorously Defining and Analyzing Medical Processes: An Experience Report.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF
24	Leon J. Osterweil, George S. Avrunin, Bin Chen 0018, Lori A. Clarke, Rachel L. Cobleigh, Elizabeth A. Henneman, Philip L. Henneman	Engineering Medical Processes to Improve Their Safety.	Situational Method Engineering	2007	DBLP DOI BibTeX RDF
24	Mohammad S. Raunak, Bin Chen 0018, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil	Definition and Analysis of Election Processes.	SPW/ProSim	2006	DBLP DOI BibTeX RDF
24	Shimon Rura, Barbara Staudt Lerner	Flexible Static Semantic Checking Using First-Order Logic.	EWSPT	2003	DBLP DOI BibTeX RDF
24	Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil	Verifying properties of process definitions.	ISSTA	2000	DBLP DOI BibTeX RDF