Works matching DE "FORMAL methods (Computer science)"

Results: 134

Extending Formal Modeling for Resilient Systems Design.

Published in:

Insight (2156-485X), 2025, v. 28, n. 1, p. 39, doi. 10.1002/inst.12525

By:

Madni, Azad M.;
Sievers, Michael;
Madni, Ayesha;
Ordoukhanian, Edwin;
Pouya, Parisa

Publication type:

Article

Algorithmic formalization: Impacts on administrative processes.

Published in:

Public Administration, 2025, v. 103, n. 2, p. 441, doi. 10.1111/padm.13030

By:

Cordella, Antonio;
Gualdi, Francesco

Publication type:

Article

Integrating river basin DSSs with model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 5, p. 499, doi. 10.1007/s10009-017-0478-x

By:

del Mar Gallardo, María;
Merino, Pedro;
Panizo, Laura;
Salmerón, Alberto

Publication type:

Article

Towards formal methods diversity in railways: an experience report with seven frameworks.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 3, p. 263, doi. 10.1007/s10009-018-0488-3

By:

Mazzanti, Franco;
Ferrari, Alessio;
Spagnolo, Giorgio O.

Publication type:

Article

Formal methods for transport systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 3, p. 237, doi. 10.1007/s10009-018-0487-4

By:

ter Beek, Maurice H.;
Gnesi, Stefania;
Knapp, Alexander

Publication type:

Article

Validation of the ABZ landing gear system using ProB.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 2, p. 187, doi. 10.1007/s10009-015-0395-9

By:

Ladenberger, Lukas;
Hansen, Dominik;
Wiegard, Harald;
Bendisposto, Jens;
Leuschel, Michael

Publication type:

Article

Evaluating the effect of a lightweight formal technique in industry.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 1, p. 93, doi. 10.1007/s10009-015-0374-1

By:

Osaiweran, Ammar;
Schuts, Mathijs;
Hooman, Jozef;
Groote, Jan;
Rijnsoever, Bart

Publication type:

Article

Let's verify this with Why3.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 709, doi. 10.1007/s10009-014-0314-5

By:

Bobot, François;
Filliâtre, Jean-Christophe;
Marché, Claude;
Paskevich, Andrei

Publication type:

Article

Witnessing the elimination of magic wands.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 757, doi. 10.1007/s10009-015-0372-3

By:

Blom, Stefan;
Huisman, Marieke

Publication type:

Article

VerifyThis 2012.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 647, doi. 10.1007/s10009-015-0396-8

By:

Huisman, Marieke;
Klebanov, Vladimir;
Monahan, Rosemary

Publication type:

Article

Model checking evaluation of airplane landing trajectories.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 753, doi. 10.1007/s10009-013-0273-2

By:

Quer, Stefano

Publication type:

Article

Automated generation of formal safety conditions from railway interlocking tables.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 713, doi. 10.1007/s10009-013-0295-9

By:

Haxthausen, Anne

Publication type:

Article

From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 647, doi. 10.1007/s10009-013-0298-6

By:

Ferrari, Alessio;
Spagnolo, Giorgio;
Martelli, Giacomo;
Menabeni, Simone

Publication type:

Article

Formal methods for railway control systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 643, doi. 10.1007/s10009-014-0342-1

By:

Fantechi, Alessandro;
Flammini, Francesco;
Gnesi, Stefania

Publication type:

Article

CADP 2011: a toolbox for the construction and analysis of distributed processes.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 2, p. 89, doi. 10.1007/s10009-012-0244-z

By:

Garavel, Hubert;
Lang, Frédéric;
Mateescu, Radu;
Serwe, Wendelin

Publication type:

Article

Model generation for quantified formulas with application to test data generation.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 439, doi. 10.1007/s10009-012-0227-0

By:

Gladisch, Christoph

Publication type:

Article

Extrapolating (omega-)regular model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 119, doi. 10.1007/s10009-011-0209-7

By:

Legay, Axel

Publication type:

Article

Modelling and analysis using GROOVE.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 15, doi. 10.1007/s10009-011-0186-x

By:

Ghamarian, Amir;
Mol, Maarten;
Rensink, Arend;
Zambon, Eduardo;
Zimakova, Maria

Publication type:

Article

The common aspect proof environment.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 41, doi. 10.1007/s10009-011-0191-0

By:

Katz, Shmuel;
Faitelson, David

Publication type:

Article

Synthesizing switching logic using constraint solving.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 519, doi. 10.1007/s10009-010-0172-8

By:

Taly, Ankur;
Gulwani, Sumit;
Tiwari, Ashish

Publication type:

Article

Formal methods for security in the Xenon hypervisor.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 463, doi. 10.1007/s10009-011-0195-9

By:

Freitas, Leo;
McDermott, John

Publication type:

Article

Tool Support for Estimating the Memory Usage of Mobile Phone Software.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 531, doi. 10.1007/s10009-006-0012-z

By:

Jørgensen, Jens Bæk;
Christensen, Søren;
Tuovinen, Antti-Pekka;
Xu, Jianli

Publication type:

Article

Formal and experimental validation approaches in HCI systems design based on a shared event B model.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 547, doi. 10.1007/s10009-006-0008-8

By:

Ait-Ameur, Yamine;
Baron, Mickael

Publication type:

Article

Special Section on “Leveraging Formal Methods”.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 467, doi. 10.1007/s10009-006-0028-4

By:

Margaria, Tiziana;
Steffen, Bernhard

Publication type:

Article

Experiences applying formal approaches in the development of swarm-based space exploration systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 587, doi. 10.1007/s10009-006-0027-5

By:

Rouff, Christopher A.;
Hinchey, Michael G.;
Truszkowski, Walter F.;
Rash, James L.

Publication type:

Article

Putting it all together – Formal verification of the VAMP.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 4/5, p. 411, doi. 10.1007/s10009-006-0204-6

By:

Beyer, Sven;
Jacobi, Christian;
Kröning, Daniel;
Leinenbach, Dirk;
Paul, Wolfgang

Publication type:

Article

Formal methods software engineering for the CARA system.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 301, doi. 10.1007/s10009-003-0113-x

By:

Martin, John C.

Publication type:

Article

A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 320, doi. 10.1007/s10009-003-0137-2

By:

Jetley, Raoul Praful;
Carlos, Cohan;
Iyer, S. Purushothaman

Publication type:

Article

Formally specifying CARA in Java.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 331, doi. 10.1007/s10009-003-0124-7

By:

Stark, Eugene W.

Publication type:

Article

Unit verification: the CARA experience.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 351, doi. 10.1007/s10009-003-0134-5

By:

Ray, Arnab;
Cleaveland, Rance

Publication type:

Article

Formal Methods and its Importance in Minimizing Ambiguity in the Requirement Engineering Document Phase of SDLC.

Published in:

Journal of Applied Information Science, 2016, v. 4, n. 2, p. 26

By:

Singh, Shilpi;
Saikia, L. P.

Publication type:

Article

Safraless LTL synthesis considering maximal realizability.

Published in:

Acta Informatica, 2017, v. 54, n. 7, p. 655, doi. 10.1007/s00236-016-0280-3

By:

Tomita, Takashi;
Ueno, Atsushi;
Shimakawa, Masaya;
Hagihara, Shigeki;
Yonezaki, Naoki

Publication type:

Article

Formal Methods to Improve Public Administration Business Processes.

Published in:

RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 2, p. 203, doi. 10.1051/ita/2012002

By:

Polini, Andrea;
Polzonetti, Andrea;
Re, Barbara

Publication type:

Article

The Right Fidelity: Representations That Speed Up Innovation Processes.

Published in:

Design Management Journal, 2015, v. 10, n. 1, p. 14, doi. 10.1111/dmj.12019

By:

Stompff, Guido;
Smulders, Frido

Publication type:

Article

Investigating Determinants of Software Developers' Intentions to Follow Methodologies.

Published in:

Journal of Management Information Systems, 2003, v. 20, n. 1, p. 123, doi. 10.1080/07421222.2003.11045751

By:

Hardgrave, Bill C.;
Davis, Fred D.;
Riemenschneider, Cynthia K.

Publication type:

Article

A Scalable Approach to Exact Model and Commonality Counting for Extended Feature Models.

Published in:

IEEE Transactions on Software Engineering, 2014, v. 40, n. 9, p. 895, doi. 10.1109/TSE.2014.2331073

By:

Fernandez-Amoros, David;
Heradio, Ruben;
Cerrada, Jose A.;
Cerrada, Carlos

Publication type:

Article

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.

Published in:

IEEE Transactions on Software Engineering, 2013, v. 39, n. 8, p. 1069, doi. 10.1109/TSE.2012.86

By:

Classen, Andreas;
Cordy, Maxime;
Schobbens, Pierre-Yves;
Heymans, Patrick;
Legay, Axel;
Raskin, Jean-Francois

Publication type:

Article

SMT-Based Bounded Model Checking for Embedded ANSI-C Software.

Published in:

IEEE Transactions on Software Engineering, 2012, v. 38, n. 4, p. 957, doi. 10.1109/TSE.2011.59

By:

Cordeiro, Lucas;
Fischer, Bernd;
Marques-Silva, Joao

Publication type:

Article

Deriving a Slicing Algorithm via FermaT Transformations.

Published in:

IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. 24, doi. 10.1109/TSE.2010.13

By:

Ward, Martin P.;
Zedan, Hussein

Publication type:

Article

Specification and Verification in Integrated Model of Distributed Systems (IMDS).

Published in:

Computers (2073-431X), 2018, v. 7, n. 4, p. 65, doi. 10.3390/computers7040065

By:

Daszczuk, Wiktor B.

Publication type:

Article

Hierarchical interface-based supervisory control with data events.

Published in:

International Journal of Control, 2009, v. 82, n. 5, p. 783, doi. 10.1080/00207170802291411

By:

Leduc, Ryan J.

Publication type:

Article

Métodos formales e Ingeniería de Software.

Published in:

Revista Virtual Universidad Católica del Norte, 2010, v. 30, p. 1

By:

Serna Montoya, Edgar

Publication type:

Article

A Method to Analyze Predicate Transition Nets Using SPIN Model Checker.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2017, v. 27, n. 9/10, p. 1455, doi. 10.1142/S021819401740006X

By:

Alam, Dewan Mohammad Moksedul;
He, Xudong

Publication type:

Article

A COMPREHENSIVE SURVEY OF PETRI NET MODELING IN SOFTWARE ENGINEERING.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2013, v. 23, n. 5, p. 589, doi. 10.1142/S021819401340010X

By:

XUDONG HE

Publication type:

Article

FORMAL ANALYSIS OF UML 2.0 ACTIVITIES USING GRAPH TRANSFORMATION SYSTEMS.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 5, p. 679, doi. 10.1142/S0218194010004918

By:

RAFE, VAHID;
RAHMANI, ADEL T.;
RAFEH, REZA

Publication type:

Article

PROOF SCORE APPROACH TO ANALYSIS OF ELECTRONIC COMMERCE PROTOCOLS.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 2, p. 253, doi. 10.1142/S0218194010004712

By:

OGATA, KAZUHIRO;
FUTATSUGI, KOKICHI

Publication type:

Article

MODELING AND ANALYSIS OF PERFORMANCE ASPECTS FOR SOFTWARE ARCHITECTURE:: A UML-BASED APPROACH.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2006, v. 16, n. 3, p. 347, doi. 10.1142/S0218194006002835

By:

DAI, LIRONG;
COOPER, KENDRA;
WONG, W. ERIC

Publication type:

Article

A Tale of Two Maps: Analysis of the London Underground "Diagram".

Published in:

Ergonomics in Design, 2013, v. 21, n. 3, p. 7, doi. 10.1177/1064804613489125

By:

Degani, Asaf

Publication type:

Article

Generalized support and formal development of constraint propagators.

Published in:

AI Communications, 2017, v. 30, n. 5, p. 325, doi. 10.3233/AIC-170740

By:

Caldwell, James;
Gent, Ian P.;
Nightingale, Peter

Publication type:

Article

European collaboration on automated reasoning.

Published in:

AI Communications, 2014, v. 27, n. 1, p. 25, doi. 10.3233/AIC-130584

By:

Bundy, Alan

Publication type:

Article