Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
Abstraction in Pascal: data and control
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Using an architectural knowledge base to generate code for parallel computers
Communications of the ACM - Special issue: multiprocessing
Evaluation of safety-critical software
Communications of the ACM
An Ontological Model of an Information System
IEEE Transactions on Software Engineering
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
Evaluation criteria for functional specifications
ICSE '90 Proceedings of the 12th international conference on Software engineering
Forging a silver bullet from the essence of software
IBM Systems Journal
Teaching a first course on data structures: a software engineering approach
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
A Knowledge-Based Approach to the Analysis of Loops
IEEE Transactions on Software Engineering
Documentation for safety critical software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Teaching principles of computer programming
CSC '87 Proceedings of the 15th annual conference on Computer Science
Computer
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
ICSE '84 Proceedings of the 7th international conference on Software engineering
Subdomain testing of units and systems with state
Proceedings of the 2006 international symposium on Software testing and analysis
Acta Cybernetica
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
Tools and experiments supporting a testing-based theory of component composition
ACM Transactions on Software Engineering and Methodology (TOSEM)
NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
WSEAS Transactions on Mathematics
From operational to denotational demonic semantics of nondeterministic while loops
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
| Hi-index | 0.02 |