Alloy Analyzer - PDFSEARCH.IO - Document Search Engine

Alloy Analyzer
Results: 13

#	Item
1	Towards a Web-based Analyzer to improve the teaching of Alloy Alcino Cunha, Nuno Macedo José Pereira, Bruno Carvalho, Ricardo Silva Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Formal methods Computing Alloy Massachusetts Institute of Technology Z notation Software engineering Modeling languages Object Process Methodology Economic model
2	Aluminum: Principled Scenario Exploration through Minimality Tim Nelson1 , Salman Saghafi1 , Daniel J. Dougherty1 , Kathi Fisler1 , Shriram Krishnamurthi2 1 Department of Computer Science Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2013-04-15 14:14:29 Logic programming Alloy Analyzer Massachusetts Institute of Technology Relational algebra Circumscription Relational model Alloy Scenario Tuple
3	A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA Add to Reading List Source URL: cisr.nps.edu Language: English - Date: 2008-08-18 13:41:06 Crime prevention Cryptography Information governance National security Computer security Covert channel Information flow Program slicing Mandatory access control Alloy Analyzer Domain-specific language Information security
4	Microsoft Word - mise19-rubin3.doc Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-11-01 02:00:44 System Systems science Systems theory Science Economic model Conceptual model Alloy Analyzer Model-driven architecture Ethology Philosophy of mind Cybernetics
5	Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-06 20:27:30 Programming paradigms Daniel Jackson Alloy Analyzer Alloy Declarative programming Imperative programming Programming language Constraint programming Computer program Computing Software engineering Computer programming
6	Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina, Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 NP-complete problems Alloy Analyzer Massachusetts Institute of Technology Recreational mathematics Alloy N1 road N postcode area Sudoku Boolean satisfiability problem Theoretical computer science Mathematics Formal methods
7	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-07-07 17:53:08 Model theory Semantics Predicate logic Formal languages Metalogic First-order logic Alloy Analyzer Alloy Integer overflow Logic Mathematical logic Mathematics
8	Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool Lars Hamann, Frank Hilken, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-11-10 03:43:46 Object Constraint Language ECO Eclipse Package Model-driven engineering KeY Domain-specific language Alloy Analyzer Metamodeling Software Unified Modeling Language Computing
9	Under consideration for publication in Math. Struct. in Comp. Science Applications and Extensions of Alloy: Past, Present, and Future E M I N A T O R L A K 1 , M A N A T A G H D I R I 2 , G R E G D E N N I S 3 and J O S Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model checkers Logic in computer science Alloy Analyzer Massachusetts Institute of Technology Alloy NuSMV Formal verification First-order logic Boolean satisfiability problem Theoretical computer science Formal methods Applied mathematics

UPDATE