Systems, interactions, and macrotheory
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 2
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Assume-Guarantee Supervisor for Concurrent Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
On Oracles for Interpreting Test Results against Algebraic Specifications
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Assume-Guarantee Algorithms for Automatic Detection of Software Failures
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Asset mapping: developing inter-enterprise solutions from legacy components
Systems engineering for business process change
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Human-Computer Interaction
Testing from Structured Algebraic Specifications: The Veritas Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Challenges of a project-based learning approach towards requirement engineering
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
Model-based security engineering for real
FM'06 Proceedings of the 14th international conference on Formal Methods
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Tools for traceable security verification
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Dynamic adaptive search based software engineering
Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement
What good are strong specifications?
Proceedings of the 2013 International Conference on Software Engineering
Cloud engineering is Search Based Software Engineering too
Journal of Systems and Software
| Hi-index | 0.00 |