Sciweavers

    JSS
    2010
    132views more  JSS 2010»
    Formal specification of the variants and behavioural features of design patterns
    13 years 6 months ago
    Formal specification of the variants and behavioural features of design patterns
    Download  cms.brookes.ac.uk
    The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
    Ian Bayley, Hong Zhu
    claim paper
    Read More »
    TCS
    2002
    134views Theoretical Computer Science» more  TCS 2002»
    A formal approach to object-oriented software engineering
    13 years 11 months ago
    A formal approach to object-oriented software engineering
    Download  www.pst.ifi.lmu.de
    We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
    Martin Wirsing, Alexander Knapp
    claim paper
    Read More »
    RE
    2002
    Springer
    153views Software Engineering» more  RE 2002»
    On the Use of Visualization in Formal Requirements Specification
    13 years 11 months ago
    On the Use of Visualization in Formal Requirements Specification
    Download  sunnyday.mit.edu
    A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
    Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
    claim paper
    Read More »
    KBS
    2006
    92views more  KBS 2006»
    Facilitating formal specification acquisition by using recursive functions on context-free languages
    13 years 11 months ago
    Facilitating formal specification acquisition by using recursive functions on context-free languages
    Download  www.cse.dmu.ac.uk
    Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
    Haiming Chen, Yunmei Dong
    claim paper
    Read More »
    JOT
    2008
    200views more  JOT 2008»
    Applying Model Checking to Concurrent UML Models
    13 years 11 months ago
    Applying Model Checking to Concurrent UML Models
    Download  www.jot.fm
    We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
    Patrice Gagnon, Farid Mokhati, Mourad Badri
    claim paper
    Read More »
    JOT
    2008
    142views more  JOT 2008»
    cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
    13 years 11 months ago
    cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
    Download  www.jot.fm
    Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
    Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...
    claim paper
    Read More »
    ENTCS
    2006
    112views more  ENTCS 2006»
    Patterns for Timed Property Specifications
    13 years 11 months ago
    Patterns for Timed Property Specifications
    Download  ebus.informatik.uni-leipzig.de
    Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
    Volker Gruhn, Ralf Laue
    claim paper
    Read More »
    FIW
    1998
    130views Communications» more  FIW 1998»
    A Heuristic Approach to Detect Feature Interactions in Requirements
    14 years 24 days ago
    A Heuristic Approach to Detect Feature Interactions in Requirements
    Download  www.fb9dv.uni-duisburg.de
    We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
    Maritta Heisel, Jeanine Souquières
    claim paper
    Read More »
    SERP
    2003
    131views Software Engineering» more  SERP 2003»
    An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code
    14 years 24 days ago
    An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code
    Download  www.comp.brad.ac.uk
    A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
    Chartchai Doungsa-ard, Taratip Suwannasart
    claim paper
    Read More »
    FORTE
    2004
    87views Formal Methods» more  FORTE 2004»
    Formal Composition of Distributed Scenarios
    14 years 25 days ago
    Formal Composition of Distributed Scenarios
    Download  www.labunix.uqam.ca
    Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
    Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit...
    claim paper
    Read More »
    123next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.