An analysis of total correctness refinement models for partial relation semantics

An analysis of total correctness refinement models for partial relation semantics

Bibliographic Details
Main Author:	Deutsch, Moshe
Published:	University of Essex 2005
Subjects:	005.12
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.416714

Similar Items

Specifying, refining and verifying reactive system design with UML and CSP
by: Ng, Muan Yong
Published: (2005)

A requirements-based software process maturity model
by: Beecham, Sarah
Published: (2003)

Attribute based component design : supporting model driven development in CbSE
by: Kyaw, Phyo
Published: (2007)

A search-based framework for automatic test-set generation for MATLAB/Simulink models
by: Zhan, Yuan
Published: (2005)

Agent-based modelling of transactive memory systems and knowledge processes in agile versus traditional software development teams
by: Corbett, Andrea J.
Published: (2013)

Formal derivation of state-rich reactive programs using Circus
by: Oliveira, Marcel ViniÌcius Medeiros
Published: (2005)

Largely unconstrained coordination in development
by: O'Reilly, Ciaran
Published: (2005)

From credible scenario specifications and prototypes to higher-performance systems
by: Wang, Diyu
Published: (2005)

Exploring complexity in software systems
by: Visscher, Bart-Floris
Published: (2005)

A user-centred design framework for context-aware computing
by: Bradley, Nicholas Andrew
Published: (2005)

An assessment of existing component-based software development methodologies and a holistic approach to CBSD
by: Tun, Thein Than
Published: (2005)

A rule-based approach for software traceability on product family systems
by: Jirapanthong, Waraporn
Published: (2006)

High integrity hardware-software codesign
by: Hilton, Adrian J.
Published: (2004)

An investigation into the influence of testing and development methods on software project performance
by: Onifade, Bosede
Published: (2004)

Detecting opportunities for applying design patterns
by: Fadel, Mai
Published: (2007)

Using requirements and design information to predict volatility in software development
by: Ingram, Claire
Published: (2011)

Supporting software systems maintenance using data mining techniques
by: Kanellopoulos, Yiannis
Published: (2008)

The effect of diverse development goals on computer-based system dependability
by: Lawrie, Anthony Thomas
Published: (2006)

Search-based and goal-oriented refactoring using unfolding of graph transformation systems
by: Qayum, Fawad
Published: (2012)

Continual resource estimation for evolving software
by: FernaÌndez Ramil, Juan Carlos
Published: (2003)

Economies and diseconomies of scale in software engineering
by: Comstock, Craig
Published: (2013)

Documentation use in component-based software composition
by: Owen, Stephen
Published: (2007)

The influence of interpersonal and intra-group factors on the software development process
by: Rosen, Clive C. H.
Published: (2007)

On the evolutionary optimisation of many objectives
by: Purshouse, Robin Charles
Published: (2003)

Automatic graph layout in software architecture
by: Slade, Andrew John
Published: (2006)

An investigation into specifying code generators for metaCASE tools via an output grammar approach
by: Odoom, Issac
Published: (2008)

A notion of a system pattern (tri-integration) and its instantiation in enterprise application development
by: Zhou, Hua
Published: (2004)

Usability of semi-formal and formal methods integration : empirical assessments
by: Razali, Rozilawati
Published: (2008)

Une approche agile, fiable et minimale pour le maintien de la qualité de service lors de l’évolution d’applications à base de processus métiers
by: Feugas, Alexandre
Published: (2014)

L’efficience énergétique des services dans les systèmes répartis hétérogènes et dynamiques : application à la maison numérique
by: Druilhe, Rémi
Published: (2013)

Optimal utilization of historical data sets for the construction of software cost prediction models
by: Liu, Qin
Published: (2006)

Support à la conception architecturale de systèmes-de-systèmes reconnus à logiciel prépondérant
by: Benites Gonçalves, Marcelo
Published: (2016)

Un îlot formel pour les transformations de modèles qualifiables
by: Bach, Jean-Christophe
Published: (2014)

Automated test of evolving software
by: Shaw, Hazel Anne
Published: (2005)

Web Engineering Resources Portal: σχεδιασμός και υλοποίηση της πύλης πόρων του Web Enginnering (WEP) με αποθήκευση και διαχείρηση πληροφορίας σε XML/XML - Schema/XML- Stylevision forms χρήση Wiki και προηγμένη τρόποι πλοήγησης σε ιεραρχικό περιεχόμενο
by: Γκιζάς, Ανδρέας
Published: (2007)

Εργαλεία για την αξιολόγησης της ποιότητας λογισμικού
by: Κόρδας, Αθανάσιος
Published: (2015)

Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels
by: Sayar, Imen
Published: (2019)

Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeur
by: Salmon, Yann
Published: (2015)

Synthèse d’architectures logicielles pour systèmes-de-systèmes : une méthode automatisée par résolution de contraintes
by: Margarido, Milena
Published: (2017)

Désassemblage et détection de logiciels malveillants auto-modifiants
by: Thierry, Aurélien
Published: (2015)