Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
Top Ranked Papers of
2011
on
Software Engineering |
ISPW
All Conferences
MSR
CSMR
ICST
ISPW
AIM
C3S2E
CSEE
ESSOS
EUROSYS
...
Explore ISPW 2011 »
54
click to vote
ISPW
2011
IEEE
250
views
Software Engineering
»
more
ISPW 2011
»
Analyzing software process models with AVISPA
13 years 3 months ago
Download
bergel.eu
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
Julio Ariel Hurtado Alegria, María Cecilia ...
claim paper
Read More »
All Subjects
Algorithms
Applied Computing
Artificial Intelligence
Augmented Reality
Automated Reasoning
Bioinformatics
Biometrics
Business
Combinatorics
Communications
Computational Biology
Computational Geometry
Computational Linguistics
Computer Architecture
Computer Graphics
Computer Networks
Computer Vision
Control Systems
Cryptology
Data Mining
Database
Discrete Geometry
Distributed And Parallel Computing
Document Analysis
ECommerce
Education
Electrical And Computer Engineering
Embedded Systems
Emerging Technology
Formal Methods
FPGA
Fuzzy Logic
Game Theory
GIS
Hardware
Healthcare
Human Computer Interaction
Image Analysis
Image Processing
Information Technology
Intelligent Agents
Internet Technology
Knowledge Management
Logical Reasoning
Machine Learning
Management
Mathematics
Medical Imaging
Modeling And Simulation
Multimedia
Natural Language Processing
Neural Networks
Operating System
Operations Research
Optimization
Pattern Recognition
Programming Languages
Robotics
Security Privacy
Sensor Networks
Signal Processing
Social Networks
Social Sciences
Software Engineering
Solid Modeling
System Software
Theoretical Computer Science
Virtual Reality
Visualization
VLSI
Software Engineering
2011
2010
2009
2008
2007
2006
2005
1996
1994
1993
1991
1990
1989
views
votes
All Conferences
MSR
CSMR
ICST
ISPW
AIM
C3S2E
CSEE
ESSOS
EUROSYS
FASE
FOSSACS
ICSE
ICSR
IUI
CGO
PEPM
SEE
CAL
CBSE
CISIS
CODES
COMPSAC
CRIWG
DAGSTUHL
ECSA
ECSCW
EMSOFT
EUROMICRO
SIAMDM
AOSD
APAL
APIN
APPML
ARCS
AROBOTS
ARTMED
CCE
CCR
RE
SIAMAM
SIAMCO
SIAMCOMP
AC
SIAMIS
SIAMJO
SIGSOFT
SIMPRA
SIMULATION
SJ
SLOGICA
SOCO
TASE
TASLP
TCAD
TCBB
ISPW 2011 »