Sciweavers

13099 search results - page 215 / 2620
» Cooperative method development
Sort
View
138
Voted
HCSE
2010
15 years 2 months ago
The Secret Lives of Assumptions: Developing and Refining Assumption Personas for Secure System Design
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
Shamal Faily, Ivan Flechais
FAC
2011
51views more  FAC 2011»
14 years 11 months ago
Retrenchment for Event-B: UseCase-wise development and Rodin integration
UseCase-wise Development, an ‘Agile Method’ which introduces functionality into an application stage by stage, with each stage being carried through (ideally) to implementation...
Richard Banach
149
Voted
B
2007
Springer
15 years 10 months ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
APSEC
2005
IEEE
15 years 10 months ago
A Tools Environment for Developing and Reasoning about Ontologies
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun...
SEFM
2005
IEEE
15 years 10 months ago
BRILLANT : An Open Source and XML-based platform for Rigourous Software Development
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
Samuel Colin, Dorian Petit, Vincent Poirriez, J&ea...