Регистрация | Вход в службу | FAQ      [?] 

Ключевое слово alloy [36 articles]

Recent papers classified by the tag alloy.
  • Debugging overconstrained declarative models using unsatisfiable cores
    (2003)
    by I Shlyakhter, R Seater, D Jackson, M Sridharan, M Taghdiri
    posted to alloy formalmethods by seanc on 2008-04-19 04:55:50 as read
  • Distilling Software Architectural Primitives from Architectural Styles
    by Nikunj R Mehta, Nenad Medvidovic
    posted to alloy formalmethods by seanc on 2008-04-20 05:20:33 as read along with 1 person and 1 group vazquezger Software-Architecture
  • Meta-programming with theory systems
    (1995)
    by J Barklund, K Boberg, P Dell'acqua, M Veanes
    posted to formalmethods alloy by seanc on 2008-04-26 17:06:12 as **
  • Automating first-order relational logic
    (2000), pp. 130-139.
    by Daniel Jackson
    posted to alloy formalmethods by seanc on 2008-04-19 03:28:19 as read
  • Evaluating the small scope hypothesis
    by A Andoni, D Daniliuc, S Khurshid, D Marinov
    posted to alloy formal methods by seanc on 2008-04-19 03:24:19 as read along with 1 person JeanMarieGaillourdet
  • Software Reuse by Model Reification
    by Lu\is F Neves, José N Oliveira
    posted to formalmethods alloy by seanc on 2008-04-26 14:00:43 as **
  • Green's function and a generalized Lloyd formula for the density of states in disordered muffin-tin alloys
    Physical Review B, Vol. 42, No. 12. (15 October 1990), 7358.
    by S Kaprzyk, A Bansil
    posted to alloy function green lloyd multiple scattering by maurengo on 2007-05-10 11:07:55 as ***** along with 1 group Mauro
  • Formal approaches to requirements engineering: from behavior trees to alloy
    Electrical and Computer Engineering, 2005. Canadian Conference on (2005), pp. 916-919.
    by W Itani, L Logrippo
    posted to 2005 alloy formal requirements by marcia on 2006-07-08 14:44:43 as *** along with 1 person leonardo
  • Verification of Multi-agent Negotiations Using the Alloy Analyzer
    Integrated Formal Methods (2007), pp. 501-517.
    by Rodion Podorozhny, Sarfraz Khurshid, Dewayne Perry, Xiaoqin Zhang
    posted to 2007 agents alloy by marcia on 2007-11-01 14:18:33 as ** along with 1 person leonardo
  • Issues in Implementing a Model Checker for Z
    Formal Methods and Software Engineering (2006), pp. 678-696.
    by John Derrick, Siobhán North, Tony Simons
    posted to 2006 alloy model_checking z by leonardo on 2007-10-26 01:31:09 as **
  • UML2Alloy: A Challenging Model Transformation
    Model Driven Engineering Languages and Systems (2007), pp. 436-450.
    by Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray
    posted to 2007 alloy model_transformation _to_print uml by leonardo on 2007-10-25 23:59:49 as ****
  • Alloy: a lightweight object modelling notation
    ACM Trans. Softw. Eng. Methodol., Vol. 11, No. 2. (April 2002), pp. 256-290.
    by Daniel Jackson
    posted to 2002 alloy by leonardo on 2006-10-24 03:07:06 as ** along with 4 people sjgaller asilva bfraser phoenix
  • Requirement progression in problem frames: deriving specifications from requirements
    Requirements Engineering, Vol. 12, No. 2. (April 2007), pp. 77-102.
    by Robert Seater, Daniel Jackson, Rohit Gheyi
    posted to 2007 alloy requirements by leonardo on 2007-10-16 22:39:10 as ***** along with 1 person asilva
  • Integrating Model Checking and Theorem Proving for Relational Reasoning
    Relational and Kleene-Algebraic Methods in Computer Science (2004), pp. 21-33.
    by Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin Rinard
    posted to 2004 alloy model_checking _no_doi theorem_prover by leonardo on 2007-08-16 14:51:05 as **** along with 1 person bfraser
  • Using Alloy to model-check visual design notations
    Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on (2005), pp. 121-128.
    by Anthony JH Simons, Carlos A Fernandez
    posted to 2005 alloy model_checking visual_languages by leonardo on 2008-01-03 22:56:25 as ***
  • Safety Process Improvement with POSE and Alloy
    Computer Safety, Reliability, and Security (2007), pp. 252-257.
    by Derek Mannering, Jon Hall, Lucia Rapanotti
    posted to 2007 alloy pose by leonardo on 2007-10-26 01:08:48 as **
  • Bounded Relational Analysis of Free Data Types
    Tests and Proofs (2008), pp. 99-115.
    by Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
    posted to _marcia alloy 2008 by leonardo on 2008-04-09 01:02:21 as **
  • On the Use of Alloy to Analyze Graph Transformation Systems
    Graph Transformations (2006), pp. 306-320.
    by Luciano Baresi, Paola Spoletini
    posted to 2006 alloy graph_transformation _hardcopy by leonardo on 2007-08-16 14:42:45 as *****
  • Taking Alloy to the Movies
    FME 2003: Formal Methods (2003), pp. 678-697.
    by Marcelo Frias, Carlos L Pombo, Gabriel Baum, Nazareno Aguirre, Tom Maibaum
    posted to 2003 alloy _no_doi semantics by leonardo on 2007-10-26 00:55:39 as ***
  • Understanding and improving UML package merge
    Software and Systems Modeling (2008)
    by Jürgen Dingel, Zinovy Diskin, A Zito
    posted to 2008 alloy semantics uml _to_appear by leonardo on 2007-12-08 01:53:49 as ****
  • A framework for checking behavioral compatibility for component selection
    Software Engineering Conference, 2006. Australian (2006), 10 pp..
    by L Wang, P Krishnan
    posted to 2006 alloy compatibility component by leonardo on 2008-02-25 12:40:31 as ***
  • Alloy as a Refactoring Checker?
    Electronic Notes in Theoretical Computer Science, Vol. 214 (28 June 2008), pp. 331-357.
    by H-Christian Estler, Heike Wehrheim
    posted to refactoring _hardcopy checker alloy 2008 by leonardo on 2008-07-22 18:12:01 as *****
  • Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications
    Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 587-601.
    by Marcelo Frias, Carlos L Pombo, Mariano Moscato
    posted to 2007 alloy pvs _to_print verification by leonardo on 2007-10-26 00:34:54 as ***
  • Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method
    Formal Aspects of Computing, Vol. 20, No. 1. (January 2008), pp. 21-39.
    by Tahina Ramananandro
    posted to 2008 alloy _hardcopy mondex refinement by leonardo on 2007-12-20 19:28:48 as *****
  • Software Abstractions: Logic, Language, and Analysis
    (07 April 2006)
    by Daniel Jackson
    posted to 2006 alloy _book by leonardo on 2007-09-20 13:13:54 as **** along with 1 person dyoo
  • An Approach to Combining B and Alloy
    ZB 2002:Formal Specification and Development in Z and B (2002), pp. 140-161.
    by Leonid Mikhailov, Michael Butler
    posted to alloy b _hardcopy refinement by leonardo on 2008-03-13 13:51:48 as *****
  • A Static Semantics for Alloy and its Impact in Refactorings
    Electron. Notes Theor. Comput. Sci., Vol. 184 (2007), pp. 209-233.
    by Rohit Gheyi, Tiago Massoni, Paulo Borba
    posted to 2007 alloy refactoring semantics by leonardo on 2007-08-10 03:28:24 as ***
  • notes A lightweight approach to specification and analysis of role-based access control extensions
    (2002), pp. 13-22.
    by Andreas Schaad, Jonathan D Moffett
    posted to alloy rbac security verification by jfischer on 2007-08-07 22:17:26 as read
  • Newtonian to non-Newtonian master flow curves of a bulk glass alloy Pd[sub 40]Ni[sub 10]Cu[sub 30]P[sub 20]
    Applied Physics Letters, Vol. 73, No. 25. (1998), pp. 3665-3667.
    by Hidemi Kato, Yoshihito Kawamura, Akihisa Inoue, HS Chen
    posted to shear elasticity alloy by dchen on 2008-04-25 19:37:14 as **
  • Increasing Magnetoplasticity in Polycrystalline Ni-Mn-Ga by Reducing Internal Constraints through Porosity
    Physical Review Letters, Vol. 99, No. 24. (2007)
    by Yuttanant Boonyongmaneerat, Markus Chmielus, David C Dunand, Peter Müllner
    posted to structure focus foam alloy 2007 by dchen on 2008-05-04 01:06:40 as **
  • notes Growth control of single and multi-walled carbon nanotubes by thin film catalyst
    Chemical Physics Letters, Vol. 366, No. 1-2. (25 November 2002), pp. 109-114.
    by Joon, Cheol, Koo, Seongjin Cho, Se-Jong Lee, Moon, Seung
    posted to acetylene alloy ammonia cobalt cvd methane molybdenum mwnt swnt thin-film by cardinal on 2005-06-27 22:01:34 as read along with 1 person saswata
  • Synthesis of single-walled carbon nanotubes using binary (Fe, Co, Ni) alloy nanoparticles prepared in situ by the reduction of oxide solid solutions
    Chemical Physics Letters, Vol. 300, No. 1-2. (29 January 1999), pp. 236-242.
    by E Flahaut, A Govindaraj, A Peigney, Ch Laurent, A Rousset, CNR Rao
    posted to alloy cobalt cvd iron methane nanoparticle nickel swnt by cardinal on 2005-06-27 21:53:50 as **
  • Kodkod: A Relational Model Finder
    Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 632-647.
    by Emina Torlak, Daniel Jackson
    posted to alloy model sat by bfraser on 2007-10-03 20:57:43 as ****
  • Verification of Aspect-UML models using alloy
    (2007), pp. 41-48.
    by Farida Mostefaoui, Julie Vachon
    posted to alloy aosd uml verification by bfraser on 2007-10-04 16:42:42 as *** along with 1 person leonardo
  • notes Intermetallic Compounds, Volume 4, Magnetic, Electrical and Optical Properties and Applications of
    (07 June 2000)
    by JH Westbrook, RL Fleischer
    posted to alloy condensed_matter magnetism materials physics by asawin on 2006-01-07 07:37:37 as **
  • Evaluating the small scope hypothesis
    by A Andoni, D Daniliuc, S Khurshid, D Marinov
    posted to alloy by aq05752n on 2008-05-11 05:59:02 as ** along with 1 person and 2 groups sjgaller Context-driven-testers Desgin-by-Contract
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/alloy

    RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.