A methodology for high-level software specification construction
ACM SIGSOFT Software Engineering Notes
Dynamic Verification of C++ Generic Algorithms
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
A graphical user interface for executing formal specifications
Proceedings of the 2001 ACM symposium on Applied computing
A logic-based approach for automatic synthesis and maintenance of web sites
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
Towards quality requirements via animated formal specifications
Annals of Software Engineering
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
Use of Formal Ontologies to Support Error Checking in Specifications
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Attempto Controlled English - Not Just Another Logic Specification Language
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
On the Transformation of Object-Oriented Conceptual Models to Logical Theories
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Verifying web site properties using computational logic
Information modeling for internet applications
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Analysis of the use of declarative languages for enhanced embedded system software development
Proceedings of the 20th annual conference on Integrated circuits and systems design
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
Contract-Based Coordination of Hardware Components for the Development of Embedded Software
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Challenges in the successful transfer of formal methods technology into industrial applications
Information and Software Technology
Structuring interactive systems specifications for executability and prototypability
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
A property based specification formalism classification
Journal of Systems and Software
Linking feature models to code artifacts using executable acceptance tests
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Classification of software artifacts based on structural information
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part IV
Unifying execution of imperative and declarative code
Proceedings of the 33rd International Conference on Software Engineering
Minds and Machines
Norm verification and analysis of electronic institutions
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Compiling formal specifications to oz programs
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
A validation system for object oriented specifications of information systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Experiences of formal methods in 'conventional' software and systems design
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
A formal model of user-defined resources in resource-restricted deployment scenarios
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
Hi-index | 0.00 |