R. Reiser, A. C. R. Costa, G. Dimuro, Marcos B. Cardoso
{"title":"Specifying the geometric machine visual language","authors":"R. Reiser, A. C. R. Costa, G. Dimuro, Marcos B. Cardoso","doi":"10.1109/HCC.2003.1260225","DOIUrl":"https://doi.org/10.1109/HCC.2003.1260225","url":null,"abstract":"This paper summarizes an experiment in the formal specification of the visual language for the geometric machine model, denoted by GMVL. The specification follows the approach proposed in the GENGED project, of the T. U. Berlin by R. Bardohl and C. Ermel (2001). In the GMLV, supported by a visual alphabet and a visual grammar, a process constructor is represented by a graph transformation related to a rule application in the visual grammar. The syntactical level includes an abstract syntax, related to the logical level of the graphic structures, and a concrete syntax, concerned with the graphical layout. Some of the important benefits from a visual approach, that overhaul and stimulate the programming the GM model, are emphasized in the spacial representation of functional composition and recursive definitions of parallel and non-deterministic processes.","PeriodicalId":221506,"journal":{"name":"IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122916659","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A browsing interface for exploring constraints in visualization rules","authors":"Shin Takahashi","doi":"10.1109/HCC.2003.1260210","DOIUrl":"https://doi.org/10.1109/HCC.2003.1260210","url":null,"abstract":"We built a prototype tool for browsing constraint systems for the layout of graphical objects. It has two views: In one view, the tool visualizes a constraint system as a three-dimensional graph structure, which shows the overall structure of the constraint system. The viewer can change the layout to focus on the part of constraints. The other view shows the target diagram. It also animates the diagram to show degrees of freedom in the constraints for the diagram. The cartoon technique of deforming graphical objects is utilized to depict whether a graphical object has a degree of freedom or not.","PeriodicalId":221506,"journal":{"name":"IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003","volume":"126 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121959984","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Fletch: Web-based journalism as a bridge to technological literacy","authors":"D. Hatfield","doi":"10.1109/HCC.2003.1260253","DOIUrl":"https://doi.org/10.1109/HCC.2003.1260253","url":null,"abstract":"Studies show that students see science and technology - as it is traditionally taught in school classes - as \"white and male\" and as accessible mostly to academically advanced students. This stigmatizing of scientific and technological literacy is particularly problematic in light of findings that prior experience in science and technology is a critical predictor of interest and confidence in using technological tools and pursuing scientific and technological education and careers. The low percentages of students who pursue science and technology fields (National Science Board, 2002) suggest that this disconnect is a significant and persistent problem. This paper describes a tool designed to help students otherwise disinterested and disaffected from science and technology develop formative experience with and interest in scientific and technological issues. The tool was developed as part of the ByLine project. ByLine explores the hypothesis that a learning environment in which students explore the social impacts of technology through Web-based journalism can help develop a foundation for basic technological literacy for students who were not previously interested in technology. The tool supports development of technological literacy by framing student-computer interactions as part of a larger goal: publishing an online newspaper. For the students, this provides a compelling justification for developing technological skills while simultaneously providing the experience with technology so critical to future scientific and technological pursuits.","PeriodicalId":221506,"journal":{"name":"IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131949760","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Jan - Java animation for program understanding","authors":"Klaus-Peter Löhr, André Vratislavsky","doi":"10.1109/HCC.2003.1260205","DOIUrl":"https://doi.org/10.1109/HCC.2003.1260205","url":null,"abstract":"Jan is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by annotating the code with visualization directives and by interactively adapting the visual appearance to the user's personal taste. Object diagrams and sequence diagrams are supported. Scalability is achieved by recognizing object composition: object aggregates are displayed in a nested fashion; mechanisms for collapsing and exploding aggregates are provided. Jan has been applied to itself producing an animation of its visualization back-end.","PeriodicalId":221506,"journal":{"name":"IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117281609","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Programming for communication: overcoming motivational barriers to computation for all","authors":"Andrea Forte","doi":"10.1109/HCC.2003.1260252","DOIUrl":"https://doi.org/10.1109/HCC.2003.1260252","url":null,"abstract":"Computer science as a discipline is failing to reach a diverse audience. As a result, computational illiteracy threatens many groups of underserved students - women, minorities and possibly other, as yet undocumented groups, such as students of the humanities. If learning programming were contextualized in domains relevant to different audiences, more students would be motivated to learn to program. I contend that teaching computer science in the context of digital media manipulation will attract and engage many students who would otherwise not choose to learn programming.","PeriodicalId":221506,"journal":{"name":"IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127293970","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Towards programming for the non-technical","authors":"S. Lei","doi":"10.1109/HCC.2003.1260255","DOIUrl":"https://doi.org/10.1109/HCC.2003.1260255","url":null,"abstract":"The tasks of software development have traditionally been done by highly-skilled and well-trained computer programmers. A solid educational background is often required to understand programming languages used in the development. For people who are educationally disadvantaged, the task of computer programming seems remote. It might appear that there is no strong reason for those people to partake programming activities. However, in today's volatile business environment, giving programming capabilities to the educationally disadvantaged might be an economically viable way to upgrade the competitiveness of a business entity. To achieve this, there is a need for an easy-to-use programming environment that has the following assumptions for its users: i) no formal trainings in computer programming, ii) minimum educational backgrounds, and iii) of different ethnicity and are unable to communicate using the commonly spoken language.","PeriodicalId":221506,"journal":{"name":"IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127372429","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Approaches to supporting software visual notation exchange","authors":"H. Stoeckle, J. Grundy, J. Hosking","doi":"10.1109/HCC.2003.1260204","DOIUrl":"https://doi.org/10.1109/HCC.2003.1260204","url":null,"abstract":"A wide range of software tools provide software engineers with different views (static and dynamic) of software systems. Much work has focused on software information model exchange. However, most software tools lack support for exchange of information about visualisation notations (both definitions of notations and instances of them). Some basic converters have been developed to support the exchange of notation information between software tools but almost all are custom-built to support specific notations and difficult to maintain. We describe the development of several notation exchange converters for tools supporting software architecture notations. This leads to a unified converter generator framework for notation exchange.","PeriodicalId":221506,"journal":{"name":"IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123888056","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Bringing educational theory to end-user programming","authors":"Shreenivasarao Prabhakararao","doi":"10.1109/HCC.2003.1260250","DOIUrl":"https://doi.org/10.1109/HCC.2003.1260250","url":null,"abstract":"Recent years have seen the explosive growth of end-user programming. End-user programmers are writing an unprecedented number of programs, due in large part to the significant effort put forth to bring programming power to end users. Unfortunately, this effort has not been supplemented by a comparable effort to help them increase the correctness of these often-faulty programs. One of the most widely used real-world end-user programming paradigms is the spreadsheet. Despite its perceived simplicity, evidence from this paradigm reveals that end-user programs often contain an alarming number of faults. To address this problem we plan to work towards providing the end user with just enough fine grained information they need to help them create correct and reliable spreadsheets. One means to facilitate such help is to develop an on-demand explanatory and advisory system that would encourage exploratory learning by the user and thus effective use of the system's features. The focus of this research is to bring the principles of educational theory to end user programming to help end users build their skills that enhance their information seeking power and thus succeed in creating correct spreadsheets. We think this research would also benefit the educationally disadvantaged populations equally because the disadvantages (one specific disadvantage being lack of programming experience/background) faced by both these groups seem to overlap.","PeriodicalId":221506,"journal":{"name":"IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114189482","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Visualizing design patterns with a UML profile","authors":"Jing Dong, Sheng Yang","doi":"10.1109/HCC.2003.1260215","DOIUrl":"https://doi.org/10.1109/HCC.2003.1260215","url":null,"abstract":"In this paper, we present a UML profile which defines new stereotypes, tagged values and constraints for visualizing design patterns in UML diagrams. These new stereotypes and tagged values are attached to a modeling element to explicitly represent the role the modeling element plays in a design pattern so that the user can identify the pattern in a UML diagram.","PeriodicalId":221506,"journal":{"name":"IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130321426","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"SSR: Statechart with shared resources","authors":"Sung-Ho Jang, Ki-Seok Bang, Jin-Young Choi","doi":"10.1109/HCC.2003.1260229","DOIUrl":"https://doi.org/10.1109/HCC.2003.1260229","url":null,"abstract":"In order to achieve an implementation correctly, it has been known that specification and its verification in early design stage is important, especially, during developing systems like safety critical systems or embedded real-time systems. Statechart is a widely used graphical formal specification language, however, it is not trivial to specify system with shared resources. In this paper, we introduce an extension of statechart, called statechart with shared resources (in short, SSR) and present process algebraic semantics of SSR. Having an abstraction of shared resources, designers can capture design requirement efficiently without any functional or implemental details of shared resources in the system. Since its semantics is based on a process algebra, SSR can be translated into a process algebra and its properties can be verified using process algebraic tools.","PeriodicalId":221506,"journal":{"name":"IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128200244","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}