On the public citation graph

The automatic assessment of formal specification coursework

https://doi.org/10.1007/bf02940843
0 signed · 64 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/spe.4380140606openalex-snapshot
The evaluation of software systems' structure using quantitative software metrics
inferredcites →https://doi.org/10.1007/978-1-4471-3877-8_12openalex-snapshot
Structural Metrics for Z Specifications
inferredcites →https://doi.org/10.1007/978-3-662-45824-2openalex-snapshot
Logic and Its Applications
inferredcites →https://doi.org/10.1007/978-3-662-58771-3openalex-snapshot
Logic and Its Applications
inferredcites →https://doi.org/10.1007/bfb0027283openalex-snapshot
Automating test case generation from Z specifications with Isabelle
inferredcites →https://doi.org/10.1016/0167-6423(90)90091-qopenalex-snapshot
The Z notation: A reference manual
inferredcites →https://doi.org/10.1016/0950-5849(87)90017-6openalex-snapshot
Education in formal methods for software engineering
inferredcites →https://doi.org/10.1016/0950-5849(95)99361-popenalex-snapshot
Making formal methods education effective for professional software engineers
inferredcites →https://doi.org/10.1080/00220310.1973.11646127openalex-snapshot
The Elements of Programming Style
inferredcites →https://doi.org/10.1109/32.106986openalex-snapshot
Requirements validation through viewpoint resolution
inferredcites →https://doi.org/10.1109/32.129217openalex-snapshot
A VDM case study in mural
inferredcites →https://doi.org/10.1109/32.24701openalex-snapshot
Testing the completeness of specifications
inferredcites →https://doi.org/10.1109/32.485225openalex-snapshot
Mathematical notation in formal specification: too difficult for the masses?
inferredcites →https://doi.org/10.1109/proc.1980.11813openalex-snapshot
Measurement and experimentation in software engineering
inferredcites →https://doi.org/10.1109/tse.1983.235430openalex-snapshot
Metric Analysis and Data Validation Across Fortran Projects
inferredcites →https://doi.org/10.1109/tse.1984.5010277openalex-snapshot
Parameterized Programming
inferredcites →https://doi.org/10.1109/tse.1985.231535openalex-snapshot
Testing Formal Specifications to Detect Design Errors
inferredcites →https://doi.org/10.1145/1500412.1500468openalex-snapshot
Principles of good software specification and their implications for specification languages
inferredcites →https://doi.org/10.1145/199688.199831openalex-snapshot
Introducing formal methods through role-playing
inferredcites →https://doi.org/10.1145/199691.199831openalex-snapshot
Introducing formal methods through role-playing
inferredcites →https://doi.org/10.1145/5657.5661openalex-snapshot
Program style analysis: a natural by-product of program compilation
inferredcites →https://doi.org/10.1145/57669.57675openalex-snapshot
A paradigm for programming style research
inferredcites →https://doi.org/10.1145/7538.7540openalex-snapshot
Software complexity measurement
inferredcites →https://doi.org/10.1145/948086.948088openalex-snapshot
Automatic assessment aids for Pascal programs
inferredcites →https://doi.org/10.22452/mjcsopenalex-snapshot
Malaysian Journal of Computer Science

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-642-22170-5_41openalex-snapshot
Current Practices of Programming Assessment at Higher Learning Institutions
inferred← citeshttps://doi.org/10.1007/s10009-014-0317-2openalex-snapshot
Incremental test case generation using bounded model checking: an application to automatic rating
inferred← citeshttps://doi.org/10.1017/9781108654555openalex-snapshot
The Cambridge Handbook of Computing Education Research
inferred← citeshttps://doi.org/10.1017/9781108654555.001openalex-snapshot
An Important and Timely Field
inferred← citeshttps://doi.org/10.1017/9781108654555.002openalex-snapshot
The History of Computing Education Research
inferred← citeshttps://doi.org/10.1017/9781108654555.003openalex-snapshot
Computing Education Research Today
inferred← citeshttps://doi.org/10.1017/9781108654555.004openalex-snapshot
Computing EducationLiterature Review and Voices from the Field
inferred← citeshttps://doi.org/10.1017/9781108654555.005openalex-snapshot
A Study Design Process
inferred← citeshttps://doi.org/10.1017/9781108654555.006openalex-snapshot
Descriptive Statistics
inferred← citeshttps://doi.org/10.1017/9781108654555.007openalex-snapshot
Inferential Statistics
inferred← citeshttps://doi.org/10.1017/9781108654555.008openalex-snapshot
Qualitative Methods for Computing Education
inferred← citeshttps://doi.org/10.1017/9781108654555.009openalex-snapshot
Learning Sciences for Computing Education
inferred← citeshttps://doi.org/10.1017/9781108654555.010openalex-snapshot
Cognitive Sciences for Computing Education
inferred← citeshttps://doi.org/10.1017/9781108654555.011openalex-snapshot
Higher Education Pedagogy
inferred← citeshttps://doi.org/10.1017/9781108654555.012openalex-snapshot
Engineering Education Research
inferred← citeshttps://doi.org/10.1017/9781108654555.013openalex-snapshot
Novice Programmers and Introductory Programming
inferred← citeshttps://doi.org/10.1017/9781108654555.014openalex-snapshot
Programming Paradigms and Beyond
inferred← citeshttps://doi.org/10.1017/9781108654555.015openalex-snapshot
Assessment and Plagiarism
inferred← citeshttps://doi.org/10.1017/9781108654555.016openalex-snapshot
Pedagogic Approaches
inferred← citeshttps://doi.org/10.1017/9781108654555.017openalex-snapshot
Equity and Diversity
inferred← citeshttps://doi.org/10.1017/9781108654555.018openalex-snapshot
Computational Thinking
inferred← citeshttps://doi.org/10.1017/9781108654555.019openalex-snapshot
Schools (K–12)
inferred← citeshttps://doi.org/10.1017/9781108654555.020openalex-snapshot
Computing for Other Disciplines
inferred← citeshttps://doi.org/10.1017/9781108654555.021openalex-snapshot
New Programming Paradigms
inferred← citeshttps://doi.org/10.1017/9781108654555.022openalex-snapshot
Tools and Environments
inferred← citeshttps://doi.org/10.1017/9781108654555.023openalex-snapshot
Tangible Computing
inferred← citeshttps://doi.org/10.1017/9781108654555.024openalex-snapshot
Leveraging the Integrated Development Environment for Learning Analytics
inferred← citeshttps://doi.org/10.1017/9781108654555.025openalex-snapshot
Teacher Knowledge for Inclusive Computing Learning
inferred← citeshttps://doi.org/10.1017/9781108654555.026openalex-snapshot
Teacher Learning and Professional Development
inferred← citeshttps://doi.org/10.1017/9781108654555.027openalex-snapshot
Learning Outside the Classroom
inferred← citeshttps://doi.org/10.1017/9781108654555.028openalex-snapshot
Student Knowledge and Misconceptions
inferred← citeshttps://doi.org/10.1017/9781108654555.029openalex-snapshot
Motivation, Attitudes, and Dispositions
inferred← citeshttps://doi.org/10.1017/9781108654555.030openalex-snapshot
Students As Teachers and Communicators
inferred← citeshttps://doi.org/10.1017/9781108654555.031openalex-snapshot
A Case Study of Peer Instruction
inferred← citeshttps://doi.org/10.1017/9781108654555.032openalex-snapshot
A Case Study of Qualitative Methods
inferred← citeshttps://doi.org/10.1017/9781108654555.033openalex-snapshot
Index
inferred← citeshttps://doi.org/10.1109/tlt.2011.4openalex-snapshot
Automatic Assessment of 3D Modeling Exams
inferred← citeshttps://doi.org/10.3844/jcssp.2008.415.420openalex-snapshot
The Design of ADAT: A Tool for Assessing Automata-Based Assignments
inferred← citeshttps://doi.org/10.3844/jcssp.2019.1721.1733openalex-snapshot
Personal Legacy Information Management System for Muslim in Malaysia: A Preliminary Design
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.