Íomhá chlúdaigh

Cód QR

Formal method industrial use from model to the code /

Sábháilte in:

Sonraí bibleagrafaíochta
Údar corparáideach:	ebrary, Inc
Rannpháirtithe:	Boulanger, Jean-Louis
Formáid:	Leictreonach Ríomhleabhar
Teanga:	Béarla
Foilsithe / Cruthaithe:	London : Hoboken, N.J. : ISTE ; Wiley, 2012.
Sraith:	Industrial implementation of formal methods series.
Ábhair:	Railroads > Management > Data processing. Formal methods (Computer science) Application software > Development. Electronic books.
Rochtain ar líne:	An electronic book accessible through the World Wide Web; click to view
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Míreanna comhchosúla

Formal software development from VDM to Java /
de réir: Charatan, Quentin
Foilsithe / Cruthaithe: (2004)

Formal methods applied to complex systems : implementation of the B method /
Foilsithe / Cruthaithe: (2014)

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Foilsithe / Cruthaithe: (2001)

Software specification methods
Foilsithe / Cruthaithe: (2006)

Computers in language research
Foilsithe / Cruthaithe: (1983)

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
de réir: Drusinsky, Doron
Foilsithe / Cruthaithe: (2006)

UML 2 semantics and applications
Foilsithe / Cruthaithe: (2009)

Teamwork in multi-agent systems a formal approach /
de réir: Dunin-Kȩplicz, Barbara
Foilsithe / Cruthaithe: (2010)

Formalizing natural languages : the NooJ approach /
de réir: Silberztein, Max
Foilsithe / Cruthaithe: (2016)

Communicating embedded systems software and design : formal methods /
Foilsithe / Cruthaithe: (2010)

Scientific applications of language methods
Foilsithe / Cruthaithe: (2011)

Drools developers cookbook over 40 recipes for creating a robust business rules implementation by using JBoss Drools rules /
de réir: Amador, Lucas
Foilsithe / Cruthaithe: (2012)

S-BPM in the Production Industry A Stakeholder Approach /
Foilsithe / Cruthaithe: (2017)

Drools JBoss rules 5.X developer's guide define and execute your business rules with Drools /
de réir: Bali, Michal
Foilsithe / Cruthaithe: (2013)

Oracle ADF enterprise application development - made simple successfully plan, develop, test, and deploy applications with Oracle ADF /
de réir: Vesterli, Sten E.
Foilsithe / Cruthaithe: (2011)

Oracle ADF enterprise application development-made simple : successfully plan, develop, test, and deploy enterprise applications with Oracle ADF /
de réir: Vesterli, Sten E.
Foilsithe / Cruthaithe: (2011)

Formal models, languages and applications
Foilsithe / Cruthaithe: (2006)

Oracle Siebel CRM 8 developer's handbook a practical guide to configuring, automating, and extending Siebel CRM applications /
de réir: Hansal, Alexander
Foilsithe / Cruthaithe: (2011)

Drools JBoss rules 5.0 developer's guide develop rules-based business logic using the Drools platform /
de réir: Bali, Michal
Foilsithe / Cruthaithe: (2009)

DCE replacement strategies
Foilsithe / Cruthaithe: (2003)

Spring Batch essentials : design, develop, and deliver robust batch applications with the power of the Spring Batch framework /
de réir: Rao, P. Raja Malleswara
Foilsithe / Cruthaithe: (2015)

Testamentary formalities /
Foilsithe / Cruthaithe: (2011)

S-BPM in the Wild Practical Value Creation /
Foilsithe / Cruthaithe: (2015)

Two-step approaches to natural language formalisms
de réir: Morawietz, Frank, 1968-
Foilsithe / Cruthaithe: (2003)

Invisible engines how software platforms drive innovation and transform industries /
de réir: Evans, David S. (David Sparks), 1954-
Foilsithe / Cruthaithe: (2006)

JBoss drools business rules capture, automate, and reuse your business processes in a clear English language that your computer can understand /
de réir: Browne, Paul
Foilsithe / Cruthaithe: (2009)

Developing distributed and E-commerce applications /
de réir: Ince, Darrel
Foilsithe / Cruthaithe: (2004)

Russian formalism history-doctrine /
de réir: Erlich, Victor, 1914-2007
Foilsithe / Cruthaithe: (1980)

Domain architectures models and architectures for UML applications /
de réir: Duffy, Daniel J.
Foilsithe / Cruthaithe: (2004)

S-BPM Illustrated A Storybook about Business Process Modeling and Execution /
de réir: Fleischmann, Albert, et al.
Foilsithe / Cruthaithe: (2013)

Legitimate applications of peer to peer networks
de réir: Verma, Dinesh, 1964-
Foilsithe / Cruthaithe: (2004)

Particiupation learning and change : commonwealth approaches to non-formal eduction. /
Foilsithe / Cruthaithe: (1980)

B2B application integration : e-business--enable your enterprise /
de réir: Linthicum, David S., 1962-
Foilsithe / Cruthaithe: (2001)

Report of conference and workshop on non-formal eduction and the rural poor /
de réir: Niehoff, Richard O.
Foilsithe / Cruthaithe: (1977)

Formal languages, automata and numeration systems 2 /
de réir: Rigo, Michel
Foilsithe / Cruthaithe: (2014)

DFSMStvs application migration guide June 2003 /
Foilsithe / Cruthaithe: (2003)

Microsoft Windows Intune 2.0 quickstart administration : manage your PCs in the enterprise through the Cloud with Microsoft Windows Intune /
de réir: Overton, David
Foilsithe / Cruthaithe: (2012)

Non-formal education strategies and management /
de réir: Napitupulu, W. P.
Foilsithe / Cruthaithe: (1978)

Subject-Oriented Business Process Management
de réir: Fleischmann, Albert, et al.
Foilsithe / Cruthaithe: (2012)

Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
de réir: Rigo, Michel
Foilsithe / Cruthaithe: (2014)