5 research outputs found
Refactoring in Maintenance and Development of Z Specifications and Proofs
- Author
- Publication venue
- 'Elsevier BV'
- Publication date
- Field of study
No full textOn the Use of Business Process Models to Discover System Requirements
- Author
- Banol J.
- Chun S.
- Chung L.
- Durán A.
- Horkoff J.
- Hsu K.
- Jaramillo A.
- Jaramillo A.
- Lau J. M.
- Levenson N. G.
- Malone T.
- Metzler T.
- Object Management Group (OMG) Business Process Modeling Notation Specification
- Object Management Group (OMG) OMG Unified Modeling Language Specification
- Pahl C.
- Pastor O.
- Rolland C.
- Shishkov B.
- Souza E. C.
- Urrego G.
- van Lamsweerde A.
- Yu E.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full textPerformance evaluation of web service response time probability distribution models for business process cycle time simulation
- Author
- Abello
- Akaike
- Amannejad
- Arvinder Kaur
- Biller
- Brady
- Burr
- Business Process Model and Notation Specification Version 2.0
- Cardoso
- Chakravarti
- Chen
- Choi
- Dey
- Dilley
- Dumas
- Dunie
- Gagne
- Geebelen
- Hughes
- Hwang
- Jansen-Vullers
- Jin
- Keller
- Klein
- Law
- Law
- Leemis
- Loosley
- Mansharamani
- Markose
- Neath
- Raghu Ramakrishnan
- Rosario
- Satyanarayana
- Schwarz
- Scott
- Spinner
- Subraya
- Tadikamalla
- Wand
- Wilson
- Zeng
- Zheng
- Zheng
- Zheng
- Zheng
- Publication venue
- 'Elsevier BV'
- Publication date
- Field of study
No full textA Framework of Blockchain Technology for Public Management in Brazil
- Author
- AJ Cropley
- B Singhal
- BM Dalmolin
- Business Process Modeling Notation Specification
- C Lima
- C Sellitz
- C Sullivan
- D Tapscott
- DS Gerstl
- F Casino
- F Pichel
- HR Hasan
- J Liu
- J Prodanova
- JL Mashaw
- K Christidis
- KM Sarmento Jr
- M Hamilton
- M Jensen
- M Rosemann
- N Szabo
- R Beck
- R Carneiro
- RL Baldam
- S Engelenburg
- S Mann
- S Ølnes
- T Lee
- UD Peres
- V Gatteschi
- W Mougayar
- W Viriyasitavat
- Y Pan
- Z Zheng
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
No full textBibliography
- Author
- Adler
- Alexander C.
- Applications
- Applications
- Approach
- Arbib M.A.
- Ashby W.R.
- Automata
- Bauer F.
- Bauer F.L.
- Bell D.A.
- Beveridge W.I.
- Boehm B.W
- Boehm B.W.
- Boehm B.W.
- Boehm B.W.
- Boehm B.W.
- Booch G.
- Brinch H.P.
- Brooks R.A.
- Broy M.
- Buerocratic Systems
- Bunge M.
- California USA
- Canada
- Case
- Casti J.L.
- Chaitin G.J.
- Chomsky N.
- Chorafas D.N.
- Christensen L.B.
- Client-Server Programming
- Cognitive Informatics
- Cognitive Informatics
- Cognitive Informatics
- Coleman J.S.
- Comer D.E.
- Communication
- Compiling
- Complexity
- Computer Engineering
- Computer Engineering
- Computer Engineering
- Conference
- Control
- Cries D.
- Cutnell J.D.
- Dale C. J.
- Davis A.M.
- Dawson M.R.W.
- Debenham J.K.
- Deming W.E.
- Deming W.E.
- Dierks H.
- Dijkstra E.W.
- Dijkstra E.W.
- Dromey G.
- Dunn R.H.
- Dynamics
- E'
- Earhart S.V.
- Ellis D. O.
- Ellis W.D.
- Engineering
- Engineering
- Engineering
- Engineering Curricula
- Enhancement
- Factors Engineering
- Factory
- Fenton N.E.
- Fenton N.E.
- Feynman
- First Twenty Years
- Fox
- Framework Reuse
- Frank R.H.
- Friedman K.
- Gaines B.R.
- Ganter B.
- Goldman S.
- Gries D.
- Hall A. D.
- Halstead M.H.
- Harnish R.M.
- Harre R.
- Harvey R. L.
- Hayes I.J.
- Henderson T.
- Higgins
- Higman B.
- Hoare C.A.R.
- Hoare C.A.R.
- Hoffman D.M.
- Horowitz E.
- Humphrey W. S.
- Humphrey W.S.
- Hurley P.J.
- I' AB.
- Immanent
- Indianapolis
- Informatics
- Informatics
- Informatics
- Informatics
- Interorganizational Design
- Issues
- James W.
- Jensen K.
- Jones C.
- Jones C.
- Juran J. M.
- Juran J.M.
- Juran J.M.
- Kandel E.R.
- Kephart J.
- Kephart J.
- Klir G.J.
- Klir G.L.
- Knuth D.E.
- Knuth D.E.
- Kotulak R.
- Kramosil I.
- Krohn K.B.
- Kyburg H.E.
- Labrosse J.J.
- Language
- Laplante P.A.
- Lewis H.R.
- Linton R.
- Liu J.
- Macionis J.J.
- Mackintosh N.J.
- MaCulloch W.S.
- Marieb E.N.
- Marshall A.
- Marshall T.
- Maslow A.H.
- Maslow A.H.
- Matlin M.W.
- McCabe T.H.
- McConnell S.
- McConnell S.
- McCulloch W.S.
- Meek B.L.
- Methods
- Milenkovic M.
- Mill J.S.
- Milner R.
- Milner R.
- Mitchell J.C.
- Modules
- Murch R.
- Murty K.
- New Laws
- Osborne M.
- Park R.E.
- Perspectives
- Peter R.
- Pierce B.C.
- Pinel J.P.J.
- Planck M.
- Press
- Press
- Production
- Programming Language Semantics
- Real-Time Systems
- Reisberg D.
- Reza F.M.
- Ritzer G.
- Rose
- Rose J. C.
- Salvendy G.
- Self-Organization H.
- Shannon C.E.
- Shannon J.
- Simon H.A.
- Simon H.A.
- Slavin S.L.
- Soanes C.
- Sober E.
- Software Engineering
- Software Engineering
- Software Engineering
- Software Process
- Sommerville I.
- Specification Notation
- Specifying
- Spencer A.
- Spivey J.M.
- Stallings W.
- Stallings W.
- Standards
- Sternberg R.J.
- Stroustrup B.
- Structure
- Symposium
- System
- Systems
- Tanenbaum A.S.
- Techniques
- Time
- Tomassi P.
- Trans
- Unpredictable
- Ure A.
- Vliet H.V.
- von Neumann J.
- von Neumann J.
- Wald A.
- Wang Y.
- Wang Y.
- Wasserman A.
- Westen D.
- Wright P.H.
- Zadeh L.A.
- Zhong Y.
- Zuse H.
- Publication venue
- 'Informa UK Limited'
- Publication date
- Field of study
No full text
