Works matching DE "FORMAL methods (Computer science)"
Results: 132
The evolution of modeling research challenges.
- Published in:
- 2013
- By:
- Publication type:
- Editorial
Behavioral specification of reactive systems using stream-based I/O tables.
- Published in:
- Software & Systems Modeling, 2013, v. 12, n. 2, p. 265, doi. 10.1007/s10270-011-0204-1
- By:
- Publication type:
- Article
Event-B patterns and their tool support.
- Published in:
- Software & Systems Modeling, 2013, v. 12, n. 2, p. 229, doi. 10.1007/s10270-010-0183-7
- By:
- Publication type:
- Article
Verification and Validation of Simulations Against Holism.
- Published in:
- Minds & Machines, 2019, v. 29, n. 1, p. 149, doi. 10.1007/s11023-019-09493-8
- By:
- Publication type:
- Article
A Constructionist Philosophy of Logic.
- Published in:
- Minds & Machines, 2017, v. 27, n. 3, p. 545, doi. 10.1007/s11023-017-9430-9
- By:
- 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:
- Publication type:
- Article
Formalization in Software Reengineering.
- Published in:
- International Review on Computers & Software, 2013, v. 8, n. 1, p. 83
- By:
- Publication type:
- Article
Using B Formal Method to Define Software Architecture Behavioral Concepts.
- Published in:
- International Review on Computers & Software, 2007, v. 2, n. 5, p. 510
- By:
- Publication type:
- Article
Introducing the pervert's dilemma: a contribution to the critique of Deepfake Pornography.
- Published in:
- Ethics & Information Technology, 2020, v. 22, n. 2, p. 133, doi. 10.1007/s10676-019-09522-1
- By:
- Publication type:
- Article
Experience of using a lightweight formal specification method for a commercial embedded system product line.
- Published in:
- Requirements Engineering, 2005, v. 10, n. 2, p. 161, doi. 10.1007/s00766-004-0209-1
- By:
- Publication type:
- Article
Specifying and analyzing early requirements in Tropos.
- Published in:
- Requirements Engineering, 2004, v. 9, n. 2, p. 132, doi. 10.1007/s00766-004-0191-7
- By:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Applying Formal Methods to a Certifiably Secure Software System.
- Published in:
- IEEE Transactions on Software Engineering, 2008, v. 34, n. 1, p. 82, doi. 10.1109/TSE.2007.70772
- By:
- Publication type:
- Article
Test Synthesis from UML Models of Distributed Software.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 4, p. 252, doi. 10.1109/TSE.2007.39
- By:
- Publication type:
- Article
Reply to Comments on "An Interval Logic for Real-Time System Specification"
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 6, p. 428, doi. 10.1109/TSE.2006.57
- By:
- Publication type:
- Article
A Formal Model of the Software Test Process.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 8, p. 782, doi. 10.1109/TSE.2002.1027800
- By:
- Publication type:
- Article
Formal Methods Application: An Empirical Tale of Software Development.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 3, p. 308, doi. 10.1109/32.991322
- By:
- Publication type:
- Article
An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 3, p. 256, doi. 10.1109/32.991320
- By:
- Publication type:
- Article
Automatic Analysis of Consistency between Requirements and Designs.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 7, p. 651, doi. 10.1109/32.935856
- By:
- Publication type:
- Article
Simulation-Verification: Biting at the State Explosion Problem.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 7, p. 599, doi. 10.1109/32.935853
- By:
- Publication type:
- Article
Foundations of the Trace Assertion Method of Module Interface Specification.
- Published in:
- IEEE Transactions on Software Engineering, 2001, v. 27, n. 7, p. 577, doi. 10.1109/32.935852
- By:
- Publication type:
- Article
Supertotal Function Definition in Mathematics and Software Engineering.
- Published in:
- IEEE Transactions on Software Engineering, 2000, v. 26, n. 7, p. 662, doi. 10.1109/32.859534
- By:
- Publication type:
- Article
Selected Papers from the Second IFIP Int'l Conference on Formal Method for Open Object Based Distributed Systems, 1997.
- Published in:
- IEEE Transactions on Software Engineering, 2000, v. 26, n. 7, p. 577, doi. 10.1109/TSE.2000.859528
- By:
- Publication type:
- Article
A Theory-Based Representation for Object-Orianted Domain Models.
- Published in:
- IEEE Transactions on Software Engineering, 2000, v. 26, n. 6, p. 500, doi. 10.1109/32.852740
- By:
- Publication type:
- Article
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms.
- Published in:
- IEEE Transactions on Software Engineering, 1999, v. 25, n. 5, p. 651, doi. 10.1109/32.815324
- By:
- Publication type:
- Article
A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2804, doi. 10.1093/comjnl/bxu126
- By:
- Publication type:
- Article
Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2793, doi. 10.1093/comjnl/bxu117
- By:
- Publication type:
- Article
Science, Mathematics, Computer Science, Software Engineering†.
- Published in:
- Computer Journal, 2012, v. 55, n. 1, p. 99, doi. 10.1093/comjnl/bxr090
- By:
- Publication type:
- Article
Closing a System in the Dynamic Input/Output Automata Model.
- Published in:
- Computer Journal, 2011, v. 54, n. 7, p. 1038, doi. 10.1093/comjnl/bxq047
- By:
- Publication type:
- Article
A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks.
- Published in:
- Computer Journal, 2011, v. 54, n. 4, p. 589, doi. 10.1093/comjnl/bxq036
- By:
- Publication type:
- Article
Verifying an ATM Protocol Using a Combination of Formal Techniques *A preliminary version of this paper has appeared in Formal Methods Europe (FME'03), LNCS 2805, pp 223–243. The URL http://www.irisa.fr/vertecs/Equipe/Rusu/sscop contains PVS ...
- Published in:
- Computer Journal, 2006, v. 49, n. 6, p. 710, doi. 10.1093/comjnl/bxl039
- By:
- Publication type:
- Article
An Extended Temporal Logic for CSCW.
- Published in:
- Computer Journal, 2002, v. 45, n. 4, p. 453, doi. 10.1093/comjnl/45.4.453
- By:
- Publication type:
- Article
Treating Partiality in a Logic of Total Functions.
- Published in:
- Computer Journal, 1997, v. 40, n. 10, p. 640, doi. 10.1093/comjnl/40.10.640
- By:
- Publication type:
- Article
CSL4P: A Contract Specification Language for Platforms.
- Published in:
- Systems Engineering, 2017, v. 20, n. 3, p. 220, doi. 10.1002/sys.21386
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Component-Based Verification in a Synchronous Setting.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2001, v. 11, n. 2, p. 181, doi. 10.1142/S0218194001000463
- By:
- Publication type:
- Article
Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 1999, v. 9, n. 2, p. 233, doi. 10.1142/S0218194099000152
- By:
- Publication type:
- Article
Testing Pre and Post Conditions with Predicate Logic for Database Components.
- Published in:
- CURIE Journal, 2009, v. 2, n. 3, p. 53
- By:
- Publication type:
- Article
An empirical study of test generation with BETA.
- Published in:
- Journal of the Brazilian Computer Society, 2016, v. 22, n. 1, p. 1, doi. 10.1186/s13173-016-0048-1
- By:
- Publication type:
- Article
A formal method for improving the transient behaviour of a non-linear flexible link.
- Published in:
- Mathematical & Computer Modelling of Dynamical Systems, 2011, v. 17, n. 1, p. 3, doi. 10.1080/13873954.2010.537508
- By:
- Publication type:
- Article
Removing dead transitions in timed-arc Petri nets.
- Published in:
- Mathematical & Computer Modelling of Dynamical Systems, 2009, v. 15, n. 1, p. 69, doi. 10.1080/13873950802416332
- By:
- Publication type:
- Article
DOMAIN MOBILE AMBIENTS FOR NETWORK ROUTING SCHEME.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2015, v. 60, n. 2, p. 119
- By:
- Publication type:
- Article