Software Engineering
Authors and titles for cs.SE in Apr 2014
[ total of 73 entries: 1-73 ][ showing 73 entries per page: fewer | more ]
- [1] arXiv:1404.0417 [pdf, other]
-
Title: Mining Idioms from Source CodeSubjects: Software Engineering (cs.SE)
- [2] arXiv:1404.0436 [pdf, ps, other]
-
Title: Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and ArchitecturesAuthors: Bara Buhnova (Masaryk University, Czech Republic), Lucia Happe (Karlsruhe Institute of Technology, Germany), Jan Kofroň (Charles University in Prague, Czech Republic)Journal-ref: EPTCS 147, 2014Subjects: Software Engineering (cs.SE)
- [3] arXiv:1404.0698 [pdf, other]
-
Title: Adaptability Checking in Multi-Level Complex SystemsComments: 57 page, 10 figures, research papaer, submittedSubjects: Software Engineering (cs.SE)
- [4] arXiv:1404.0846 [pdf, other]
-
Title: Towards Verifying Safety Properties of Real-Time Probabilistic SystemsComments: In Proceedings FESCA 2014, arXiv:1404.0436Journal-ref: EPTCS 147, 2014, pp. 1-15Subjects: Software Engineering (cs.SE)
- [5] arXiv:1404.0847 [pdf, other]
-
Title: Execution Time Analysis for Industrial Control ApplicationsAuthors: Stefan Stattelmann (ABB Corporate Research, Ladenburg, Germany), Manuel Oriol (ABB Corporate Research, Baden-Dättwil, Switzerland), Thomas Gamer (ABB Corporate Research, Ladenburg, Germany)Comments: In Proceedings FESCA 2014, arXiv:1404.0436Journal-ref: EPTCS 147, 2014, pp. 16-31Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)
- [6] arXiv:1404.0848 [pdf, other]
-
Title: Component Substitution through Dynamic ReconfigurationsAuthors: Arnaud Lanoix (LINA CNRS and Nantes University), Olga Kouchnarenko (FEMTO-ST CNRS and University of Franche-Comté)Comments: In Proceedings FESCA 2014, arXiv:1404.0436Journal-ref: EPTCS 147, 2014, pp. 32-46Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
- [7] arXiv:1404.0849 [pdf, other]
-
Title: Comprehensive Monitor-Oriented Compensation ProgrammingComments: In Proceedings FESCA 2014, arXiv:1404.0436Journal-ref: EPTCS 147, 2014, pp. 47-61Subjects: Software Engineering (cs.SE)
- [8] arXiv:1404.0850 [pdf, other]
-
Title: Application of Ontologies in Identifying Requirements Patterns in Use CasesAuthors: Rui Couto (University of Minho), António Nestor Ribeiro (University of Minho), José Creissac Campos (University of Minho)Comments: In Proceedings FESCA 2014, arXiv:1404.0436Journal-ref: EPTCS 147, 2014, pp. 62-76Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Information Retrieval (cs.IR)
- [9] arXiv:1404.0851 [pdf, other]
-
Title: A model-driven approach to broaden the detection of software performance antipatterns at runtimeComments: In Proceedings FESCA 2014, arXiv:1404.0436Journal-ref: EPTCS 147, 2014, pp. 77-92Subjects: Software Engineering (cs.SE); Performance (cs.PF)
- [10] arXiv:1404.0852 [pdf, other]
-
Title: Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment CheckingComments: In Proceedings FESCA 2014, arXiv:1404.0436Journal-ref: EPTCS 147, 2014, pp. 93-107Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
- [11] arXiv:1404.0853 [pdf, other]
-
Title: Correct-by-construction model composition: Application to the Invasive Software Composition methodAuthors: Mounira Kezadri Hamiaz (Université de Toulouse, IRIT, France), Marc Pantel (Université de Toulouse, IRIT, France), Benoît Combemale (Université de Rennes 1, IRISA, France), Xavier Thirioux (Université de Toulouse, IRIT, France)Comments: In Proceedings FESCA 2014, arXiv:1404.0436Journal-ref: EPTCS 147, 2014, pp. 108-122Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
- [12] arXiv:1404.0855 [pdf, other]
-
Title: Transformation of UML Behavioral Diagrams to Support Software Model CheckingAuthors: Luciana Brasil Rebelo dos Santos (Instituto Nacional de Pesquisas Espaciais - INPE), Valdivino Alexandre de Santiago Júnior (Instituto Nacional de Pesquisas Espaciais - INPE), Nandamudi Lankalapalli Vijaykumar (Instituto Nacional de Pesquisas Espaciais - INPE)Comments: In Proceedings FESCA 2014, arXiv:1404.0436Journal-ref: EPTCS 147, 2014, pp. 133-142Subjects: Software Engineering (cs.SE)
- [13] arXiv:1404.1198 [pdf, ps, other]
-
Title: Experiences in Developing Time-Critical Systems - The Case Study "Production Cell"Authors: Jochen BurghardtComments: 13 pages; 11 figuresJournal-ref: T. Lindner and C. Lewerentz (eds.), Formal development of reactive systems - Case study production cell, Springer LNCS, Vol.891, p.297-311, 1995Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
- [14] arXiv:1404.1279 [pdf, other]
-
Title: Event-Flow Graphs for Efficient Path-Sensitive AnalysesComments: Technical ReportSubjects: Software Engineering (cs.SE)
- [15] arXiv:1404.1621 [pdf, ps, other]
-
Title: Proposal of a multiagent-based smart environment for the IoTComments: 10th International Conference on Intelligent Environments (IE'14), 9th Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI'14), Shanghai, China, 30th June-1st of July 2014Subjects: Software Engineering (cs.SE)
- [16] arXiv:1404.1984 [pdf, ps, other]
-
Title: Threats Management Throughout the Software Service Life-CycleComments: In Proceedings GraMSec 2014, arXiv:1404.1634Journal-ref: EPTCS 148, 2014, pp. 1-14Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
- [17] arXiv:1404.1985 [pdf, other]
-
Title: Towards the Model-Driven Engineering of Secure yet Safe Embedded SystemsAuthors: Ludovic Apvrille (Institut Mines-Telecom, Telecom ParisTech, CNRS LTCI), Yves Roudier (EURECOM)Comments: In Proceedings GraMSec 2014, arXiv:1404.1634Journal-ref: EPTCS 148, 2014, pp. 15-30Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
- [18] arXiv:1404.2155 [pdf, ps, other]
-
Title: An Efficient Solution for Model Checking Abstract State Machine Using BogorAuthors: Saeed DoostaliComments: 57 pages, 25 figures, 4 tables, Technical ReportJournal-ref: V. Rafe, S. Doostali, ASM2Bogor: An approach for verification of models specified through Asmeta language, Journal of Visual Languages and Computing 23 (5) (2012) 287-298Subjects: Software Engineering (cs.SE)
- [19] arXiv:1404.2713 [pdf, ps, other]
-
Title: Transaction Handling in COM, EJB and .NETComments: 17 pages, 8 figures, published at IJSEA Journal Vol. 5, No. 2, March 2014Journal-ref: International Journal of Software Engineering and Applications (IJSEA), Vol. 5, No. 2, March 2014Subjects: Software Engineering (cs.SE)
- [20] arXiv:1404.2737 [pdf, other]
-
Title: User Centered Development of Agent-based Business Process Models and NotationsAuthors: Robert SingerSubjects: Software Engineering (cs.SE)
- [21] arXiv:1404.2939 [pdf, ps, other]
-
Title: Modeling Enterprise Architecture Using Timed Colored PETRI Net: Single Processor SchedulingComments: 13 pages, 5 figuresJournal-ref: International Journal of Managing Public Sector Information and Communication Technologies (IJMPICT), Vol. 5, No. 1, March 2014Subjects: Software Engineering (cs.SE)
- [22] arXiv:1404.3056 [pdf, ps, other]
-
Title: Principles of Antifragile SoftwareAuthors: Martin MonperrusComments: see this https URLJournal-ref: Proceedings of Salon des Refus\'es, 2017Subjects: Software Engineering (cs.SE)
- [23] arXiv:1404.3186 [pdf, ps, other]
-
Title: Automatic Repair of Buggy If Conditions and Missing Preconditions with SMTAuthors: Favio Demarco, Jifeng Xuan (INRIA Lille - Nord Europe), Daniel Le Berre (CRIL), Martin Monperrus (INRIA Lille - Nord Europe)Comments: CSTVA'2014, India (2014)Journal-ref: 6th International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014), 2014Subjects: Software Engineering (cs.SE)
- [24] arXiv:1404.3280 [pdf, ps, other]
-
Title: An Ontology Oriented Architecture for Context Aware Services AdaptationComments: 10 pages, 5 figures, IJCSI (International Journal of Computer Science Issues)Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 11, Issue 2, 2014Subjects: Software Engineering (cs.SE)
- [25] arXiv:1404.3382 [pdf, ps, other]
-
Title: An Approach for Computing Dynamic Slice of Concurrent Aspect-Oriented ProgramsComments: 20 pages. arXiv admin note: text overlap with arXiv:1403.0100Journal-ref: International Journal of Software Engineering and Its Applications, Vol. 7, No. 1, January, 2013Subjects: Software Engineering (cs.SE)
- [26] arXiv:1404.3537 [pdf, other]
-
Title: BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component SystemsSubjects: Software Engineering (cs.SE)
- [27] arXiv:1404.4100 [pdf, ps, other]
-
Title: Locating Crashing Faults based on Crash Stack TracesComments: 11 pages, this works is done in 2011 when the first author(Liang Gong) was a master student in Tsinghua UniversitySubjects: Software Engineering (cs.SE)
- [28] arXiv:1404.4713 [pdf, ps, other]
-
Title: Knowledge-Driven Game Design by Non-ProgrammersComments: 10 pages, 4 figures, reprint of paper in SKY 2013 Workshop, Vilamoura, Portugal, September 2013, SCITEPRESS Digital LibrarySubjects: Software Engineering (cs.SE)
- [29] arXiv:1404.4970 [pdf, ps, other]
-
Title: Prediction of rate of improvement of software quality and development effort on the basis of Degreeof excellence with respect to number of lines of codeComments: 8 Pages. International Journal of Computer Engineering and Applications, 2014Subjects: Software Engineering (cs.SE)
- [30] arXiv:1404.5034 [pdf, ps, other]
-
Title: Sustaining IT PMOs during Cycles of Global RecessionJournal-ref: European Journal of Scientific Research, vol. 114, no. 3, pp. 376-385, November 2013Subjects: Software Engineering (cs.SE)
- [31] arXiv:1404.5708 [pdf, other]
-
Title: Converging Work-Talk Patterns in Online Task-Oriented CommunitiesSubjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC); Social and Information Networks (cs.SI); Data Analysis, Statistics and Probability (physics.data-an)
- [32] arXiv:1404.5785 [pdf, ps, other]
-
Title: Proceedings 1st Workshop on Formal Integrated Development EnvironmentAuthors: Catherine Dubois (ENSIIE - CEDRIC), Dimitra Giannakopoulou (NASA - Ames), Dominique Méry (Université de Lorraine - LORIA)Journal-ref: EPTCS 149, 2014Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
- [33] arXiv:1404.6603 [pdf, other]
-
Title: Who watches the watchers: Validating the ProB Validation ToolAuthors: Jens Bendisposto (Heinrich Heine University, Düsseldorf, Germany), Sebastian Krings (Heinrich Heine University, Düsseldorf, Germany), Michael Leuschel (Heinrich Heine University, Düsseldorf, Germany)Comments: In Proceedings F-IDE 2014, arXiv:1404.5785Journal-ref: EPTCS 149, 2014, pp. 16-29Subjects: Software Engineering (cs.SE)
- [34] arXiv:1404.6606 [pdf, other]
-
Title: Experience in using a typed functional language for the development of a security applicationAuthors: Damien Doligez (Inria), Christèle Faure (SafeRiver), Thérèse Hardin (UPMC), Manuel Maarek (SafeRiver)Comments: In Proceedings F-IDE 2014, arXiv:1404.5785Journal-ref: EPTCS 149, 2014, pp. 58-63Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
- [35] arXiv:1404.6608 [pdf, other]
-
Title: OpenJML: Software verification for Java 7 using JML, OpenJDK, and EclipseAuthors: David R. Cok (GrammaTech, Inc.)Comments: In Proceedings F-IDE 2014, arXiv:1404.5785Journal-ref: EPTCS 149, 2014, pp. 79-92Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
- [36] arXiv:1404.6609 [pdf, other]
-
Title: Checking Computations of Formal Method Tools - A Secondary Toolchain for ProBAuthors: John Witulski (Heinrich-Heine Universität Düsseldorf), Michael Leuschel (Heinrich-Heine Universität Düsseldorf)Comments: In Proceedings F-IDE 2014, arXiv:1404.5785Journal-ref: EPTCS 149, 2014, pp. 93-105Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
- [37] arXiv:1404.6743 [pdf, ps, other]
-
Title: A Formal Approach to System Integration TestingComments: EDCC-2014, Fast-AbstractsSubjects: Software Engineering (cs.SE)
- [38] arXiv:1404.6801 [pdf, ps, other]
-
Title: Nothing is Certain but Doubt and TestsAuthors: John A. McDermidComments: EDCC-2014, AESSCS 2014, software safety standards, uncertainty, experimentsSubjects: Software Engineering (cs.SE)
- [39] arXiv:1404.6802 [pdf, ps, other]
-
Title: Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From?Comments: EDCC-2014, AESSCS 2014, software, formal methods, safety, certificationSubjects: Software Engineering (cs.SE)
- [40] arXiv:1404.6803 [pdf, ps, other]
-
Title: Towards Assessing Necessary CompetenceComments: EDCC-2014, AESSCS 2014, safety, argument, evidence, experiment, prescriptive, goal-based, fantasySubjects: Software Engineering (cs.SE)
- [41] arXiv:1404.6804 [pdf, ps, other]
-
Title: The Efficacy of DO-178BAuthors: Dewi DanielsComments: EDCC-2014, AESSCS 2014, DO-178BSubjects: Software Engineering (cs.SE)
- [42] arXiv:1404.6805 [pdf, ps, other]
-
Title: On the efficacy of safety-related software standardsComments: EDCC-2014, AESSCS 2014, standards, safety-critical-softwareSubjects: Software Engineering (cs.SE)
- [43] arXiv:1404.6830 [pdf, ps, other]
-
Title: Orthogonal Fault Tolerance for Dynamically Adaptive SystemsAuthors: Sobia K KhanComments: EDCC-2014, Student-Forum, dynamically adaptive systems, fault tolerance, orthogonal fault toleranceSubjects: Software Engineering (cs.SE)
- [44] arXiv:1404.6833 [pdf, ps, other]
-
Title: Unit verification procedure as a test of real time messaging-based processesAuthors: Miklos TaligaComments: EDCC-2014, Student-ForumSubjects: Software Engineering (cs.SE)
- [45] arXiv:1404.6844 [pdf, ps, other]
-
Title: Evaluating the Assessment of Software Fault-FreenessComments: EDCC-2014, AESSCS 2014Subjects: Software Engineering (cs.SE)
- [46] arXiv:1404.6846 [pdf, ps, other]
-
Title: An Approach to Maintaining Safety Case Evidence After A System ChangeComments: EDCC-2014, Fast-AbstractsSubjects: Software Engineering (cs.SE)
- [47] arXiv:1404.7247 [pdf, ps, other]
-
Title: Human Factors of Formal MethodsAuthors: Maria SpichkovaComments: Preprint. Final version published in Proceedings of IADIS International Conference Interfaces and Human Computer Interaction 2012 (IHCI 2012), 2012Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
- [48] arXiv:1404.7260 [pdf, other]
-
Title: Refinement-Based Specification: Requirements and ArchitectureAuthors: Maria SpichkovaComments: In Software Engineering 2011 (SE)Subjects: Software Engineering (cs.SE)
- [49] arXiv:1404.7265 [pdf, other]
-
Title: Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentationComments: In Proceedings International Conference on Model-Driven Engineering and Software Development (MODELSWARD'13)Subjects: Software Engineering (cs.SE)
- [50] arXiv:1404.7383 [pdf, ps, other]
-
Title: A LabVIEW based user-friendly X-ray phase-contrast imaging system software platformAuthors: Shenghao Wang, Huajie Han, Kun Gao, Zhili Wang, Can Zhang, Meng Yang, Zhao Wu, Augusto Marcelli, Ziyu WuComments: 11 pages, 5 figures, 1 tableJournal-ref: Journal of X-ray Science and Technology, vol. 23, No.2, 189-199, 2015Subjects: Software Engineering (cs.SE); Instrumentation and Detectors (physics.ins-det); Medical Physics (physics.med-ph)
- [51] arXiv:1404.7414 [pdf, ps, other]
-
Title: Summary of the First Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE1)Authors: Daniel S. Katz, Sou-Cheng T. Choi, Hilmar Lapp, Ketan Maheshwari, Frank Löffler, Matthew Turk, Marcus D. Hanwell, Nancy Wilkins-Diehr, James Hetherington, James Howison, Shel Swenson, Gabrielle D. Allen, Anne C. Elster, Bruce Berriman, Colin VentersComments: Journal of Open Research Software, 2014Subjects: Software Engineering (cs.SE)
- [52] arXiv:1404.7431 [pdf, ps, other]
-
Title: I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint AnalysisAuthors: Li Li, Alexandre Bartel, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick McDanielSubjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
- [53] arXiv:1404.7509 [pdf, other]
-
Title: On Cloud-Based Engineering of Dependable SystemsAuthors: Sami AlajramiComments: EDCC-2014, Student-Forum, Cloud Computing, Cloud Workflow Systems, Dependable, Systems, Software EngineeringSubjects: Software Engineering (cs.SE)
- [54] arXiv:1404.7513 [pdf, ps, other]
-
Title: A formal approach for correct-by-construction system substitutionAuthors: Guillaume BabinComments: EDCC-2014, Student-Forum, System Substitution, state rRecovery, correct-bycorrection, Event-B, refinementSubjects: Software Engineering (cs.SE)
- [55] arXiv:1404.7528 [pdf, other]
-
Title: The Utility and Practicality of Quantifying Software ReliabilityAuthors: Rob AshmoreComments: EDCC-2014, AESSCS 2014Subjects: Software Engineering (cs.SE)
- [56] arXiv:1404.7542 [pdf, other]
-
Title: A formal experiment to assess the efficacy of certification standardsAuthors: Virginie WielsComments: EDCC-2014, AESSCS 2014Subjects: Software Engineering (cs.SE)
- [57] arXiv:1404.7558 [pdf, ps, other]
-
Title: Monitoring service quality: methods and solutions to implement a managerial dash-board to improve software developmentComments: EDCC-2014, BIG4CIP-2014, Quality Assurance, Management Methods, Data Collection and Analysis, Software Reliability Assessment, Testing and Verification, Software Reliability MeasurementSubjects: Software Engineering (cs.SE)
- [58] arXiv:1404.7560 [pdf, ps, other]
-
Title: Integrated Maintenance: analysis and perspective of innovation in railway sectorAuthors: Roberto NappiComments: EDCC-2014, BIG4CIP-2014, Maintenance Management, Railway Diagnostic, Condition Monitoring, Critical Infrastructure ProtectionSubjects: Software Engineering (cs.SE)
- [59] arXiv:1404.7563 [pdf, ps, other]
-
Title: Critical Infrastructure Protection: having SIEM technology cope with network heterogeneityComments: EDCC-2014, BIG4CIP-2014, Critical Infrastructure Protection, Intrusion Detection and Diagnosis, Complex Event Processing , Security Information and Event Management (SIEM)Subjects: Cryptography and Security (cs.CR)
- [60] arXiv:1404.7564 [pdf, ps, other]
-
Title: End-users needs and requirements for tools to support critical infrastructures protectionComments: EDCC-2014, BIG4CIP-2014, CIP, CIPRNet project, decision support, servicesSubjects: Software Engineering (cs.SE)
- [61] arXiv:1404.7565 [pdf, ps, other]
-
Title: Investigating SCADA Failures in Interdependent Critical Infrastructure SystemsAuthors: Razgar EbrahimyComments: EDCC-2014, BIG4CIP-2014, SCADA Systems, Interdependency, Critical Infrastructure System FailuresSubjects: Software Engineering (cs.SE)
- [62] arXiv:1404.7618 [pdf, other]
-
Title: Modeling and Execution of Multienterprise Business ProcessesComments: arXiv admin note: substantial text overlap with arXiv:1404.2737Subjects: Software Engineering (cs.SE)
- [63] arXiv:1404.7763 [pdf, other]
-
Title: Deployment Calculation and Analysis for a Fail-Operational Automotive PlatformComments: EDCC-2014, EDSoS-2014, Fault-Tolerance, Fail-Operational, DeploymentSubjects: Software Engineering (cs.SE)
- [64] arXiv:1404.7775 [pdf, other]
-
Title: Fault Modelling in System-of-Systems ContractsComments: EDCC-2014, EDSoS-2014, systems of systems, modelling, architectural frameworks, contracts, faultsSubjects: Software Engineering (cs.SE)
- [65] arXiv:1404.7778 [pdf, other]
-
Title: SoS Fault Modelling at the Architectural Level in an Emergency Response Case StudyComments: EDCC-2014, EDSoS-2014Subjects: Software Engineering (cs.SE)
- [66] arXiv:1404.7792 [pdf, other]
-
Title: Towards Verification of Constituent Systems through Automated ProofComments: EDCC-2014, EDSoS-2014Subjects: Software Engineering (cs.SE)
- [67] arXiv:1404.1227 (cross-list from cs.LO) [pdf, other]
-
Title: Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOSAuthors: Jochen BurghardtComments: in german; 66 pages; 29 figuresJournal-ref: Technical Report, GMD Arbeitspapier Vol.996, Jun 1996Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
- [68] arXiv:1404.6116 (cross-list from cs.SY) [pdf, ps, other]
-
Title: Development of an open source software module for enhanced visualization during MR-guided interstitial gynecologic brachytherapyComments: 9 pages, 6 figuresJournal-ref: Chen and Egger SpringerPlus 2014, 3:167Subjects: Systems and Control (eess.SY); Software Engineering (cs.SE)
- [69] arXiv:1404.6567 (cross-list from cs.AI) [pdf, other]
-
Title: Une approche CSP pour l'aide à la localisation d'erreursComments: 10 pages, in FrenchSubjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
- [70] arXiv:1404.6602 (cross-list from cs.PL) [pdf, other]
-
Title: The Dafny Integrated Development EnvironmentAuthors: K. Rustan M. Leino (Microsoft Research, Redmond, WA, USA), Valentin Wüstholz (ETH Zurich, Department of Computer Science, Switzerland)Comments: In Proceedings F-IDE 2014, arXiv:1404.5785Journal-ref: EPTCS 149, 2014, pp. 3-15Subjects: Programming Languages (cs.PL); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)
- [71] arXiv:1404.6604 (cross-list from cs.CY) [pdf, other]
-
Title: Teaching Formal Methods and Discrete MathematicsComments: In Proceedings F-IDE 2014, arXiv:1404.5785Journal-ref: EPTCS 149, 2014, pp. 30-43Subjects: Computers and Society (cs.CY); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
- [72] arXiv:1404.6605 (cross-list from cs.LO) [pdf, other]
-
Title: SPEEDY: An Eclipse-based IDE for invariant inferenceComments: In Proceedings F-IDE 2014, arXiv:1404.5785Journal-ref: EPTCS 149, 2014, pp. 44-57Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)
- [73] arXiv:1404.7814 (cross-list from cs.SE) [pdf, ps, other]
-
Title: A tlm-based platform to specify and verify component-based real-time systemsComments: 10 pages, 7 figuresJournal-ref: International Journal of Software Engineering & Applications (IJSEA), Vol.5, No.2, March 2014Subjects: Software Engineering (cs.SE)
[ showing 73 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, cs, 2405, contact, help (Access key information)