Formal method industrial use from model to the code /

Computers in language research
Хэвлэсэн: (1983)

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
-н: Drusinsky, Doron
Хэвлэсэн: (2006)

UML 2 semantics and applications
Хэвлэсэн: (2009)

Teamwork in multi-agent systems a formal approach /
-н: Dunin-Kȩplicz, Barbara
Хэвлэсэн: (2010)

Formalizing natural languages : the NooJ approach /
-н: Silberztein, Max
Хэвлэсэн: (2016)

Communicating embedded systems software and design : formal methods /
Хэвлэсэн: (2010)

Drools developers cookbook over 40 recipes for creating a robust business rules implementation by using JBoss Drools rules /
-н: Amador, Lucas
Хэвлэсэн: (2012)

Scientific applications of language methods
Хэвлэсэн: (2011)

S-BPM in the Production Industry A Stakeholder Approach /
Хэвлэсэн: (2017)

Drools JBoss rules 5.X developer's guide define and execute your business rules with Drools /
-н: Bali, Michal
Хэвлэсэн: (2013)

Oracle ADF enterprise application development - made simple successfully plan, develop, test, and deploy applications with Oracle ADF /
-н: Vesterli, Sten E.
Хэвлэсэн: (2011)

Oracle ADF enterprise application development-made simple : successfully plan, develop, test, and deploy enterprise applications with Oracle ADF /
-н: Vesterli, Sten E.
Хэвлэсэн: (2011)

Oracle Siebel CRM 8 developer's handbook a practical guide to configuring, automating, and extending Siebel CRM applications /
-н: Hansal, Alexander
Хэвлэсэн: (2011)

Formal models, languages and applications
Хэвлэсэн: (2006)

Drools JBoss rules 5.0 developer's guide develop rules-based business logic using the Drools platform /
-н: Bali, Michal
Хэвлэсэн: (2009)

DCE replacement strategies
Хэвлэсэн: (2003)

Spring Batch essentials : design, develop, and deliver robust batch applications with the power of the Spring Batch framework /
-н: Rao, P. Raja Malleswara
Хэвлэсэн: (2015)

S-BPM in the Wild Practical Value Creation /
Хэвлэсэн: (2015)

Invisible engines how software platforms drive innovation and transform industries /
-н: Evans, David S. (David Sparks), 1954-
Хэвлэсэн: (2006)

JBoss drools business rules capture, automate, and reuse your business processes in a clear English language that your computer can understand /
-н: Browne, Paul
Хэвлэсэн: (2009)

Two-step approaches to natural language formalisms
-н: Morawietz, Frank, 1968-
Хэвлэсэн: (2003)

Testamentary formalities /
Хэвлэсэн: (2011)

Developing distributed and E-commerce applications /
-н: Ince, Darrel
Хэвлэсэн: (2004)

Domain architectures models and architectures for UML applications /
-н: Duffy, Daniel J.
Хэвлэсэн: (2004)

S-BPM Illustrated A Storybook about Business Process Modeling and Execution /
-н: Fleischmann, Albert, зэрэг
Хэвлэсэн: (2013)

Legitimate applications of peer to peer networks
-н: Verma, Dinesh, 1964-
Хэвлэсэн: (2004)

B2B application integration : e-business--enable your enterprise /
-н: Linthicum, David S., 1962-
Хэвлэсэн: (2001)

Russian formalism history-doctrine /
-н: Erlich, Victor, 1914-2007
Хэвлэсэн: (1980)

DFSMStvs application migration guide June 2003 /
Хэвлэсэн: (2003)

Microsoft Windows Intune 2.0 quickstart administration : manage your PCs in the enterprise through the Cloud with Microsoft Windows Intune /
-н: Overton, David
Хэвлэсэн: (2012)

Particiupation learning and change : commonwealth approaches to non-formal eduction. /
Хэвлэсэн: (1980)

Formal languages, automata and numeration systems 2 /
-н: Rigo, Michel
Хэвлэсэн: (2014)

Report of conference and workshop on non-formal eduction and the rural poor /
-н: Niehoff, Richard O.
Хэвлэсэн: (1977)

Subject-Oriented Business Process Management
-н: Fleischmann, Albert, зэрэг
Хэвлэсэн: (2012)

Enabling Things to Talk Designing IoT solutions with the IoT Architectural Reference Model /
Хэвлэсэн: (2013)

Building business intelligence applications with .NET
-н: Ericsson, Robert
Хэвлэсэн: (2004)