| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Leon J. Osterweil |
Preface.  |
Int. J. Software and Informatics  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jan Oliver Ringert, Bernhard Rumpe |
A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ivan N. Soskov, Mariya Ivanova Soskova |
Kalimullin Pairs of §02 w-Enumeration Degrees. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jianxin Wang, Qilong Feng, Jianer Chen |
Color-Coding and its Applications: A Survey. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Pree, Josef Templ, Peter Hintenaus, Andreas Naderlinger, Johannes Pletzer |
TDL - Steps Beyond Giotto: A Case for Automated Software Construction. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Martin Wirsing, Ruqian Lu |
Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Leon J. Osterweil |
A Process Programmer Looks at the Spiral Model: A Tribute to the Deep Insights of Barry W. Boehm. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Neil G. Siegel |
Organizing Projects Around the Mitigation of Risks Arising from System Dynamic Behavior. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Leslie Lamport |
Euclid Writes an Algorithm: A Fairytale. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Peter Höfner, Ridha Khédri, Bernhard Möller |
Supplementing Product Families with Behaviour. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Cliff B. Jones, Matthew J. Lovert |
Semantic Models for a Logic of Partial Functions. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Gabriel |
Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | George Barmpalias |
On Strings with Trivial Kolmogorov Complexity. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tobias Nipkow |
Majority Vote Algorithm Revisited Again. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | H. Dieter Rombach |
Empirical Software Engineering Models: Can They Become the Equivalent of Physical Laws in Traditional Engineering? |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bran Selic |
A Short Catalogue of Abstraction Patterns for Model-Based Software Engineering. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mingji Xia |
Holographic Reduction: A Domain Changed Application and its Partial Converse Theorems. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bjørnar Solhaug, Ketil Stølen |
Preservation of Policy Adherence under Refinement. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ross Jeffery |
Software Development Cost Modeling and Estimation Through a UNSW Lens. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Kouichi Kishida |
Polyphonic Aspects of Software Process Looking for Philosophical Foundation of Software Engineering. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari |
On Structured Model-Driven Transformations. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gustav Pomberger |
Digital Graffiti - A Framework for Implementing Location-Based Systems. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gregory S. Hartman, William L. Scherlis |
Attentiveness: Design for Reactivity at Scale. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Angsheng Li |
Preface. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lori A. Clarke |
Environment Support for Improving Software Development Processes: A Vision Influenced by the Work of Barry W. Boehm. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Mondex: Engineering a Provable Secure Electronic Purse. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel |
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christian Lengauer, Sven Apel |
Feature-Oriented System Design and Engineering. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Peng Zhang |
Rent-or-Buy Network Design Problem and the Sample-Augment Algorithm: A Survey. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dines Bjørner |
On "The Right" Software. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ruth Breu, Berthold Agreiter, Matthias Farwick, Michael Felderer, Michael Hafner, Frank Innerhofer-Oberperfler |
Living Models - Ten Principles for Change-Driven Software Engineering. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zhiwu Xu, Lixiao Zheng, Haiming Chen |
A Toolkit for Generating Sentences from Context-Free Grammars. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bertrand Meyer |
Steps Towards a Theory and Calculus of Aliasing. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Helmuth Partsch, Marcel Dausend, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke |
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Walker Royce |
Measuring Agility and Architectural Integrity. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | John E. Hopcroft, Sucheta Soundarajan, Liaoruo Wang |
The Future of Computer Science. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Juan Chen, Haiyang Jia, Dayou Liu, Changhai Zhang |
Composing Cardinal Direction Relations Based on Interval Algebra. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stephen S. Yau, Ho G. An |
Confidentiality Protection in Cloud Computing Systems. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gang Wang, Guodong Wang |
An Energy-Aware Geographic Routing Protocol for Mobile Ad Hoc Networks. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dimitris Karagiannis, Zhi Jin |
Preface. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | David Sánchez, Montserrat Batet, Aïda Valls |
Web-Based Semantic Similarity: An Evaluation in the Biomedical Domain. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Xiangping Chen, Gang Huang 0001, Franck Chauvel, Yanchun Sun, Hong Mei |
Integrating MOF-Compliant Analysis Results. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Xiaoying Pan, Licheng Jiao |
An Effective Way to Neighborhood Construction for MAGA. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jianwen Tao, Shitong Wang, Wenjun Hu, Wenhao Ying |
p-Margin Kernel Learning Machine with Magnetic Field Effect for Both Binary Classification and Novelty Detection. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tianwei Sun, Feng Xu, Jian Lü |
An Internetware Based Approach to Building Web Page Integration Applications for Mobile Devices. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Wilfried Grossmann |
A Conceptual Approach for Data Integration in Business Analytics. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hongxin Zhang |
Distance-Based Classifier via the Kernel Trick. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin |
Computational Complexity and Anytime Algorithm for Inconsistency Measurement. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zhi Jin, Xuandong Li |
Preface. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Laszlo Szathmary, Petko Valtchev, Amedeo Napoli |
Generating Rare Association Rules Using the Minimal Rare Itemsets Family. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Xiaofeng Chen, Shitong Wang, Korris Fu-Lai Chung, Suqun Cao |
Introducing Gravitational Force into Affinity Propagation Clustering. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | LiGuo Huang, JiDong Ge, Barry W. Boehm, Jian Lu |
Modeling the Value-Based Software Process with Object-Petri-Nets. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | K. Mala, V. Sadasivam |
Classification of Fatty and Cirrhosis Liver Using Wavelet-Based Statistical Texture Features andNeural Network Classifier. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Karl Anton Froeschl, Norbert Walchhofer, Milan Hronsky |
The Online Market Observatory: A Domain Model Approach. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chunyang Ye, Jun Wei, Huang Zhong, Tao Huang |
Middleware Support for Internetware: A Service Perspective. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Muhammad Asfand-e-yar, Amin Anjomshoaa, Edgar R. Weippl, A. Min Tjoa |
Exploiting Ontology for Software License Agreements. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hui Shi, Yohei Kurata |
Modeling Ontological Concepts of Locations with a Heterogeneous Cardinal Direction Model. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nophadol Jekjantuk, Gerd Gröner, Jeff Z. Pan |
Modelling and Reasoning in Metamodelling Enabled Ontologies. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chushu Gao, Jun Wei, Chang Xu, S. C. Cheung |
Sequential Event Pattern Based Design of Context-Aware Adaptive Application. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Wei-Tek Tsai, Yu Huang 0008, Qihong Shao, Xiaoying Bai |
Data Partitioning and Redundancy Management for Robust Multi-Tenancy SaaS. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yaxin Bi, Mary-Anne Williams |
Preface. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dmitry V. Levshin |
Mapping Relational Databases to the Semantic Web with Original Meaning. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Wandelt, Ralf Möller, Michael Wessel |
Towards Scalable Instance Retrieval over Ontologies. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zhihong Chong, Weiwei Ni, Lizhen Xu, Zhuoming Xu, Hu Shu, Jinwang Zheng |
Approximate K-Median of Location Streams with Redundancy and Inconsistency. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Boris Mirkin, Susana Nascimento, Trevor I. Fenner, Luís Moniz Pereira |
Building Fuzzy Thematic Clusters and Mapping Them to Higher Ranks in a Taxonomy. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Liwei Zheng, Jian Tang, Zhi Jin |
An Agent Based Framework for Internetware Computing. |
Int. J. Software and Informatics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hong Mei, Jian Lü |
Preface. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dominique Méry |
Refinement-Based Guidelines for Algorithmic Systems. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Kun You, Zhuzhong Qian, Bin Tang, Sanglu Lu, Daoxu Chen |
QoS-Aware Replication in Service Composition. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Konstantine Arkoudas, Selmer Bringsjord |
Propositional Attitudes and Causation. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Anne Elisabeth Haxthausen |
Developing a Domain Model for Relay Circuits. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Leo Freitas, Jim Woodcock |
A Chain Datatype in Z. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tu Bao Ho, Zhi-Hua Zhou, Hiroshi Motoda |
Preface. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte |
Symbolic Bounded Model Checking of Abstract State Machines. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Taro Kurita, Yasumasa Nakatsugawa |
The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff |
Methods for the Development of Distributed Real-Time Embedded Systems Using VDM. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Gang Huang 0001, Hui Song, Hong Mei |
SM@RT: Applying Architecture-Based Runtime Management into Internetware Systems. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Wenyu Chen, Gang Xu, Guozhao Wang |
Construct Control Meshes of Helicoids over Trapezium Domain. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Richard B. Scherl, Tran Cao Son, Chitta Baral |
State-Based Regression with Sensing and Knowledge. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dines Bjørner |
Editorial. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bernadette Charron-Bost, Stephan Merz |
Formal Verification of a Consensus Algorithm in the Heard-Of Model. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stephen S. Yau, Ho G. An |
Adaptive Resource Allocation for Service-Based Systems. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Paul R. Cohen, Carole R. Beal |
Temporal Data Mining for Educational Applications. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa |
Fault-Based Conformance Testing in Practice. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Wei-Tek Tsai, Zhi Jin, Xiaoying Bai |
Internetware Computing: Issues and Perspective. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Eunsuk Kang, Daniel Jackson |
Designing and Analyzing a Flash File System with Alloy. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Chunxiao Lin, Yiyun Chen, Bei Hua |
Verification of an Incremental Garbage Collector in Hoare-Style Logic. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Martin Fränzle, Michael R. Hansen |
Efficient Model Checking for Duration Calculus? |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lin Liu, Eric S. K. Yu, John Mylopoulos |
Secure-I*: Engineering Secure Software Systems through Social Analysis. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Anthony Quinn, Andrew Stranieri, John Yearwood, Gaudenz Hafen, Herbert F. Jelinek |
AWSum-Combining Classification with Knowledge Aquisition. |
Int. J. Software and Informatics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jean-Pierre Jouannaud, Yoshihito Toyama |
Modular Church-Rosser Modulo: The Complete Picture. |
Int. J. Software and Informatics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Farouk Abdel Hady, Friedhelm Schwenker |
Co-Training by Committee: A Generalized Framework for Semi-Supervised Learning with Committees. |
Int. J. Software and Informatics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Pasquier, Claude Pasquier, Laurent Brisson, Martine Collard |
Mining Gene Expression Data using Domain Knowledge. |
Int. J. Software and Informatics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Taufik Djatna, Yasuhiko Morimoto |
Attribute Selection for Numerical Databases that Contain Correlations. |
Int. J. Software and Informatics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Manfred Droste, Guo-Qiang Zhang |
Random Event Structures. |
Int. J. Software and Informatics |
2008 |
DBLP BibTeX RDF |
|
| 1 | LiGuo Huang, Barry W. Boehm, Hao Hu, Jian Lü, Cheng Qian |
Applying Value-Based Software Process: An ERP Example. |
Int. J. Software and Informatics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mathieu Roche, Violaine Prince |
Managing the Acronym/Expansion Identification Process for Text-Mining Applications. |
Int. J. Software and Informatics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Peng Zhang, Zhiwang Zhang, Aihua Li, Yong Shi |
Global and Local (Glocal) Bagging Approach for Classifying Noisy Dataset. |
Int. J. Software and Informatics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Xi Bai, Jigui Sun, Haiyan Che, Lian Shi |
Towards Knowledge Acquisition from Semi-Structured Content. |
Int. J. Software and Informatics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hui Shi, Bernd Krieg-Brückner |
Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. |
Int. J. Software and Informatics |
2008 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")